Deduction
Subtitle: AUTOMATED LOGIC
Edition: 1 edition
Publisher: Academic Press
Published: 1993
Language: eng; ger
Format: Hardcover
Number of pages: 253
ISBN-13: 9780120958351
Subjects: Artificial intelligence; Logic; Mathematics for scientists & engineers; General; Automata; Computer Logic; Philosophy; Science/Mathematics