Descrizione
First order predicate calculus and logic programming. First order predicate calculus and logic programming
Dettagli Bibliografici
EAN ISBN-13:9788879994262
ISBN-10:8879994263
Titolo:First order predicate calculus and logic programming
Autore: Alberto Pettorossi , Maurizio Proietti
Editore:Aracne
Data Pubblicazione:2005
Pagine:80
Genere:libro. elaborazione dati
Classificazione:Programmazione e sviluppo del software
