Sorts and Types in Artificial Intelligence. Workshop Eringerfeld Frg, April 24-26, 1989. Proceedings. (Lecture Notes in Computer Science)
Contributors: C. Rollinger (Editor)
Publisher: Springer
Published: October 1990
Language: eng
Format: Paperback
Number of pages: 307
ISBN-13: 9780387523378
Subjects: Computers; Computers - General Information; Computer Books: General; Artificial Intelligence - General; Computer Science; Abstract data types (Computer; Artificial Intelligence; Congresses; Logic, Symbolic and mathematic; Logic, Symbolic and mathematical; Sorting (Electronic computers)
First sentence: This is the usual and well known form of predicate logic.