Sorts and Types in Artificial Intelligence
Subtitle: Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings (Lecture Notes in Computer Science)
Contributors: Karl H. Bläsius (Editor); Ulrich Hedtstück (Editor); Claus-Rainer Rollinger (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 10, 1990
Language: eng
Format: Paperback
Number of pages: 324
ISBN-13: 9783540523376
Subjects: Algebra; Artificial intelligence; Mathematical logic; Computers - General Information; Artificial Intelligence - General; Logic; Beweissysteme; Computers / Artificial Intelligence; Künstliche Intelligenz; Linguistik; Logik; Wissensrepräsentation
First sentence: This is the usual and well known form of predicate logic.