First order predicate calculus and logic programming
| Titolo | First order predicate calculus and logic programming |
| Autori | Alberto Pettorossi, Maurizio Proietti |
| Argomento | Informatica Programmazione e sviluppo del software |
| Editore | Aracne |
| Formato |
Libro: Libro in brossura |
| Pagine | 80 |
| Pubblicazione | 12/2005 |
| ISBN | 9788879994262 |