Fundamentals of Artificial Intelligence Research
Subtitle: International Workshop Fair '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings (Lecture Notes in Computer Science)
Contributors: Philippe Jorrand (Editor); Jozef Kelemen (Editor); Ph. Jorrand (Other Contributor)
Publisher: Springer
Published: October 1991
Language: eng
Format: Paperback
Number of pages: 255
ISBN-13: 9783540545071
Subjects: Artificial intelligence; Artificial Intelligence - General; Logic; Congresses; Computers - General Information
First sentence: In 1965 J.A. Robinson published his seminal paper on theorem proving "A machine-oriented logic based on the resolution principle".