Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series)
Contributors: W. Bibel (Editor); P.H. Schmitt (Editor)
Edition: 1 edition
Publisher: Springer
Published: June 30, 1998
Language: eng
Format: Hardcover
Number of pages: 500
ISBN-13: 9780792351290
Subjects: Artificial intelligence; Mathematical logic; Mathematical theory of computation; Logic; Computers - General Information; Expert Systems; Programming - Software Development; Automatic theorem proving; Computers / Expert Systems; Computers-Programming - Software Development; Logic, Symbolic and mathematical; Philosophy / Logic; Philosophy-Logic