Search

You searched for: Auteur Cervesato, Iliano Remove constraint Auteur: Cervesato, Iliano
1 - 3 of 3
Number of results to display per page

Search Results

1. Advances in Computer Science – ASIAN 2007. Computer and Network Security
thumbnail
Full text!
Author:
Cervesato, Iliano
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
2. The Deductive Spreadsheet
thumbnail
Full text!
Author:
Cervesato, Iliano
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
3. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Author:
Cervesato, Iliano; Siekmann, Jörg; Veith, Helmut; Voronkov, Andrei
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book