PROIETTI, MAURIZIO
PROIETTI, MAURIZIO
Istituto di Analisi dei Sistemi ed Informatica ''Antonio Ruberti'' - IASI
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.008 secondi).
First Order Predicate Calculus and Logic Programming
2016 Pettorossi A.; Proietti M.
First Order Predicate Calculus and Logic Programming, Third Edition
2013 Pettorossi, A; Proietti, M
First Order Predicate Calculus and Logic Programming
2005 Pettorossi, A.; Proietti, M.
Logic Program Synthesis and Transformation. Proceedings of the Fifth International Workshop, LOPSTR'95
1996 Maurizio Proietti
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| First Order Predicate Calculus and Logic Programming | 1-gen-2016 | Pettorossi A.; Proietti M. | |
| First Order Predicate Calculus and Logic Programming, Third Edition | 1-gen-2013 | Pettorossi, A; Proietti, M | |
| First Order Predicate Calculus and Logic Programming | 1-gen-2005 | Pettorossi, A.; Proietti, M. | |
| Logic Program Synthesis and Transformation. Proceedings of the Fifth International Workshop, LOPSTR'95 | 1-gen-1996 | Maurizio Proietti |