Date : 2009
Type : Livre / Book
Langue / Language : anglais / English
ISBN : 978-0-521-89957-4
ISBN : 0-521-89957-5
EAN : 9780521899574
Logique informatique
Inférence
Logique mathématique
Théorèmes -- Démonstration automatique
Classification Dewey : 006.333