Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for The Deductive Spreadsheet
The Deductive Spreadsheet
by 
Cervesato, Iliano. author.
https://doi.org/10.1007/978-3-642-37747-1
Format: 
Excerpt: 
The Deductive Spreadsheet Cervesato, Iliano. author.
2. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
by 
Cervesato, Iliano. editor.
https://doi.org/10.1007/978-3-540-89439-1
Format: 
Excerpt: 
2008, Doha, Qatar, November 22-27, 2008, Proceedings / Cervesato, Iliano. editor.
3. 
Cover image for Advances in Computer Science - ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings
Advances in Computer Science - ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings
by 
Cervesato, Iliano. editor.
https://doi.org/10.1007/978-3-540-76929-3
Format: 
Excerpt: 
Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings / Cervesato, Iliano. editor.