Handbook of Automated Reasoning - Andrei Voronkov - Livres - Elsevier Science & Technology - 9780444508126 - 21 juin 2001
Si la couverture et le titre ne correspondent pas, le titre est correct.

Andrei Voronkov
Handbook of Automated Reasoning

Prix
€ 291,99

Commandé depuis un entrepôt distant

Livraison prévue 6 - 15 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

This second volume of "Handbook of Automated Reasoning" covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

1188 pages, indexes

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 21 juin 2001
ISBN13 9780444508126
Éditeurs Elsevier Science & Technology
Pages 1188
Dimensions 165 × 240 × 60 mm   ·   2,07 kg
Éditeur Robinson, Alan J.A. (96 Highland Avenue, Greenfield, Massachusetts, USA)
Éditeur Voronkov, Andrei (University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.)

Plus par Andrei Voronkov

Afficher tout

Voir tous les Andrei Voronkov ( par ex. Paperback Book et Hardcover Book )