First order predicate calculus and logic programming - 9788854867901
Un libro
di
Alberto Pettorossi
,
Maurizio Proietti
edito da
Aracne
, 2014
First order predicate calculus and logic programming. First order predicate calculus and logic programming
Dettagli Bibliografici
EAN ISBN-13
9788854867901
ISBN-10
885486790X
Titolo
First order predicate calculus and logic programming
Autore
Editore
Data Pubblicazione
2014
Pagine
140
Genere
Classificazione
Punti Accumulabili
€ 10.00