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 |
| Lingua | inglese |
| Pagine | 152 |
| Pubblicazione | 04/2016 |
| Numero edizione | 4 |
| ISBN | 9788854892989 |