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