Logic programming and automated reasoning
Subtitle: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings
By: Frank Pfenning (ed.).
Contributors: Pfenning, Frank.
Series: Lecture notes in computer science ;; 822.; Lecture notes in artificial intelligence; Lecture notes in computer science ;; 822.; Lecture notes in computer science.
Publisher: Springer-Verlag
Published: 1994
Place of publication: Berlin; New York
Language: eng
Number of pages: 344
Subjects: Logic programming -- Congresses; Automatic theorem proving -- Congresses
Notes: Includes index.