First order predicate calculus and logic programming

Editore: Aracne
Autore: Alberto Pettorossi, Maurizio Proietti
In commercio dal: 2005
Pagine: 80 p., Libro in brossura
EAN: 9788879994262