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.

Description de la librairie

We carry a wide selection of books from South Asia, United States, UK.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Readingos GmbH
Kaiserstra�e 47, Frankfurt am Main, 60329, Germany

Conditions de vente :

Conditions de livraison :

Informations vendeur d�taill�es

Modes de paiement
accept�s par le vendeur

Ajouter aux demandes de livres

Articles li�s � Handbook of Automated Reasoning

Handbook of Automated Reasoning

Robinson A. Voronkov A. Robinson Alan

Neuf(s) - Couverture rigide

Informations commerciales relatives au vendeur