Intellectics and Computational Logic - Papers in Honor of Wolfgang Bibel (Applied Logic Series)
Edition: 1 edition
Publisher: Springer
Published: April 1, 2000
Language: eng
Format: Hardcover
Number of pages: 404
ISBN-13: 9780792362616
Subjects: Artificial Intelligence; Logic; Computers - General Information; Cognitive Psychology; Computers; Computer Books: General; Artificial Intelligence - General; Computers / Artificial Intelligence; Philosophy / Logic; Cognitive science
First sentence: This work is concerned with basic issues of the design of calculi and proof procedures for first-order connection methods and tableaux calculi.