Handbook of Automated Reasoning
Unbekannt
ISBN 10: 0444508120 ISBN 13: 9780444508126
Edité par ELSEVIER SCIENCE & TECHNOLOGY, 2001
Ancien(s) ou d'occasion
Couverture rigide
Vendeur
Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 30 septembre 2021
Cet article spécifique n'est plus disponible.
A propos de cet article
Description :
Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 2037895/2
Synopsis :
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Détails bibliographiques
Titre : Handbook of Automated Reasoning
Éditeur : ELSEVIER SCIENCE & TECHNOLOGY
Date d'édition : 2001
Reliure : Couverture rigide
Etat : Sehr gut