1.
Logic for Programming, Artificial Intelligence, And Reasoning 12th International Conference,...
by Sutcliffe, Geoff, Voronkov,...
ISBN: 9783540305538
List Price: $117.00
2.
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society...
by Sutcliffe, Geoff C. J., Goe...
ISBN: 9781577353997
List Price: $39.00
OUT OF STOCK
See Availability on Amazon3.
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society...
by Sutcliffe, Geoff C. J.
ISBN: 9781577352587
List Price: $39.00
OUT OF STOCK
See Availability on Amazon4.
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtua...
by Platzer, Andr�, Sutcliffe, ...
ISBN: 9783030798758