Home > Authors > Peter E. Jackson > Automated Deduction in Nonstandard Logics
Automated Deduction in Nonstandard Logics
Recent activity
Rate this book to see your activity here.
9 Books Similar to Automated Deduction in Nonstandard Logics by Peter E. Jackson
Bookscovery readers who liked Automated Deduction in Nonstandard Logics also like
Expert systems notes AI2- 1983/84, Expert systems notes AI-2-1984/85 and Forging tools.
How many of these have you read?
Comments and reviews of Automated Deduction in Nonstandard Logics
Please sign in to leave a comment