Handbook of practical logic and automated reasoning

Handbook of practical logic and automated reasoning

Enregistré dans:
Détails bibliographiques
Auteur principal : Harrison John (Auteur)
Format : Livre
Langue : anglais
Titre complet : Handbook of practical logic and automated reasoning / John Harrison
Publié : Cambridge : Cambridge University Press , cop. 2009
Description matérielle : 1 vol. (XIX-681 p.)
Sujets :
Logique informatique
Inférence
Logique mathématique
Théorèmes > Démonstration automatique
Description
Bibliographie : Bibliogr. p. 631-667. Index.
ISBN : 978-0-521-89957-4
0-521-89957-5