Showing 1 - 8 of 8 Results
1.
Nonmonotonic Logic Context-Dependent Reasoning by Marek, Wiktor, Trusczynski,... ISBN: 9780387564487 List Price: $119.00
2.
Automated Theorem Proving in Software Engineering by Schumann, J. M. P., Lovelan... ISBN: 9783540679899 List Price: $109.00
3.
Abductive Inference Models for Diagnostic Problem-Solving by Peng, Yun, Reggia, J. A., L... ISBN: 9780387973432 List Price: $98.00
4.
Automated Theorem Proving: A Logical Basis by Loveland, D. W. ISBN: 9780720404999 List Price: $88.00
5.
Catalogue of Artificial Intelligence Techniques - Alan Bundy - Hardcover - 3rd, rev. ed by Bundy, Alan, Loveland, D. W... ISBN: 9780387529592 List Price: $35.95
6.
Exploration and Innovation in Design: Towards a Computational Model - D. Navinchandra - Hard... by Navinchandra, D., Loveland,... ISBN: 9780387974811 List Price: $65.95
7.
Genetic Algorithms Plus Data Structures Equals Evolution Programs by Michalewicz, Zbigniew, Love... ISBN: 9780387553870 List Price: $49.00
8.
Automated Deduction Conference: Proceedinngs of Conference, 6th, New York, 1982 by Loveland, D. W. ISBN: 9780387115580 List Price: $20.00