Logic Programming and Automated Reasoning
Subtitle: 4th International Conference, Lpar'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artific)
Contributors: Andrei Voronkov (Editor); A. Voronkov (Other Contributor)
Publisher: Springer
Published: July 1993
Language: eng
Format: Paperback
Number of pages: 386
ISBN-13: 9783540569442
Subjects: Artificial intelligence; Databases & data structures; Artificial Intelligence - General; Logic; Computers - General Information; Congresses; Logic programming