Automated Deduction -- A Basis for Applications Volume I Foundations -- Calculi and Methods
Contributors: W. Bibel (Editor); P.H. Schmitt (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 31, 1899
Language: eng
Format: Hardcover
Number of pages: 1294
ISBN-13: 9780792351320
Subjects: Artificial intelligence; Expert Systems; Logic; Programming - Software Development; Philosophy / Logic; Computers - General Information