1.
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference...
by Cervesato, Iliano, Veith, H...
ISBN: 9783540894384
List Price: $119.00
3.
The Deductive Spreadsheet (Cognitive Technologies)
by Iliano Cervesato
ISBN: 9783662512456
List Price: $129.00