Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings
Main Author: | Pfenning Frank |
---|---|
Corporate Author: | LPAR |
Format: | Book |
Language: | English |
Published: |
Springer
|
Similar Items
-
Logic programming Proceedings of the 1991 international symposium
by: Saraswat Vijay, et al.
Published: (1991) -
Simply logical Intelligent reasoning by example
by: Flach Peter A.
Published: (1994) -
Formal methods in artificial intelligence
by: Ramsay Allan 1953-
Published: (1991) -
The essence of logic
by: Kelly John J.
Published: (1997) -
International Joint Conference on Neural Networks (IJCNN'99) Proceedings, Washington, DC July 10-16, 1999
Published: (1999)