Titre :	Handbook of practical logic and automated reasoning
Type de document :	texte imprimé
Auteurs :	John Harrison, Auteur
Editeur :	Cambridge University Press
Année de publication :	2009
Importance :	xix - 681 p.
ISBN/ISSN/EAN :	978-0-521-89957-4
Langues :	Anglais
Catégories :	03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations 68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.)
Mots-clés :	mathematical logic  automated reasoning  automated theorem proving
Index. décimale :	03C Monographie

Handbook of practical logic and automated reasoning [texte imprimé] / John Harrison, Auteur . - [S.l.] : Cambridge University Press, 2009 . - xix - 681 p.
ISBN : 978-0-521-89957-4
Langues : Anglais

Catégories :	03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations 68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.)
Mots-clés :	mathematical logic  automated reasoning  automated theorem proving
Index. décimale :	03C Monographie