di Gaetana Restuccia, Mariafortuna ParatoreNel calcolo dei predicati del primo ordine l'argomento centrale è il problema della soddisfacibilità di una formula o di un insieme di formule. Il principale scopo è dare criteri di...
Prezzo: € 10,00
Editore:
MagikaISBN: 9788889525142
Collana:
MagikaAnno Edizione: 2010