1.
Catalogue of Artificial Intelligence Tools
by Wallen, Lincoln, Bundy, A.
ISBN: 9783642968693
List Price: $24.99
OUT OF STOCK
See Availability on Amazon2.
Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Int...
by Wallen, Lincoln A.
ISBN: 9780262231442
List Price: $45.00