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

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 03C178 Prêt sans prolongation Disponible