Ulrich Furbach, Claudia Obermaier. Applications of Automated Reasoning. In KI 2006: Advances in Artificial Intelligence, Proceedings of the 29th German Conference on Artificial Intelligence, Christian Freksa, Michael Kohlhase, Kerstin Schill (eds.), Lecture Notes in Artificial Intelligence, ISBN, Bremen, Germany, 2007.
@InProceedings{furbach:obermaier,
Author = {Furbach, Ulrich and Obermaier, Claudia},
Title = {{Applications of Automated Reasoning}},
BookTitle = {KI 2006: Advances in Artificial Intelligence, Proceedings of the 29th German Conference on Artificial Intelligence},
editor = {Freksa, Christian and Kohlhase, Michael and Schill, Kerstin},
Series = {Lecture Notes in Artificial Intelligence},
Publisher = {Springer},
Address = {Bremen, Germany},
Year = {2007}
}
Get EndNote Reference (.ref)