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
