Articles liés à Handbook of Automated Reasoning
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 « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Handbook of Automated Reasoning
Image d'archives
Handbook of Automated Reasoning
Edité par
Elsevier Science & Technology, 2001
ISBN 10 : 0444508120
ISBN 13 : 9780444508126
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N° de réf. du vendeur 55966080-20
Acheter D'occasion
EUR 66,28
Expédition à EUR 5,97
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Handbook of Automated Reasoning, Volume II
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-401352
Acheter neuf
EUR 94,79
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Handbook of Automated Reasoning (Volume II)
Edité par
North Holland, 2001
ISBN 10 : 0444508120
ISBN 13 : 9780444508126
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_350444828
Acheter D'occasion
EUR 169,75
Expédition à EUR 3,35
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Handbook of Automated Reasoning.Vol.2
impression à la demandeVendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. Englisch. N° de réf. du vendeur 9780444508126
Acheter neuf
EUR 245
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Handbook of Automated Reasoning
Edité par
North Holland, 2001
ISBN 10 : 0444508120
ISBN 13 : 9780444508126
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 684527
Acheter D'occasion
EUR 281,19
Expédition à EUR 2,36
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Handbook of Automated Reasoning
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 684527-n
Acheter neuf
EUR 281,95
Expédition à EUR 2,36
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Handbook of Automated Reasoning
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 684527-n
Acheter neuf
EUR 271,88
Expédition à EUR 17,91
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Handbook of Automated Reasoning
Edité par
North Holland, 2001
ISBN 10 : 0444508120
ISBN 13 : 9780444508126
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 684527
Acheter D'occasion
EUR 277,98
Expédition à EUR 17,91
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Handbook of Automated Reasoning (Volume II)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In English. N° de réf. du vendeur ria9780444508126_new
Acheter neuf
EUR 281,06
Expédition à EUR 22,71
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
HANDBK OF AUTOMATED REASONING
Edité par
Elsevier Science, 2001
ISBN 10 : 0444508120
ISBN 13 : 9780444508126
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : New. Part V. Higher-order logic and logical frameworks.Chapter 15. Classical Type Theory (Peter B. Andrews).1. Introduction to type theory. 2. Metatheoretical foundations. 3. Proof search. 4. Conclusion. Bi. N° de réf. du vendeur 594685341
Acheter neuf
EUR 261,78
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles