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.
- ÉditeurNorth-Holland
- Date d'édition2001
- ISBN 10 0444508120
- ISBN 13 9780444508126
- ReliureRelié
- Langueanglais
- Nombre de pages1188
- ÉditeurRobinson Alan J.A., Voronkov Andrei
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 200,95
EUR 11,10 expédition depuis Royaume-Uni vers France
Destinations, frais et délais
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 : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 1188 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 2037895/2
Quantité disponible : 1 disponible(s)
Image d'archives
Handbook of Automated Reasoning: Volume II
Edité par
North Holland 2001-06-21, 2001
ISBN 10 : 0444508120
ISBN 13 : 9780444508126
Neuf
Couverture rigide
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : New. N° de réf. du vendeur 6666-ELS-9780444508126
Quantité disponible : Plus de 20 disponibles
Image d'archives
Handbook of Automated Reasoning
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 1188 69:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Case Laminate on White w/Gloss Lam. N° de réf. du vendeur 8361741
Quantité disponible : 3 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
Quantité disponible : 2 disponible(s)
Image d'archives
Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches. In Stock. N° de réf. du vendeur __0444508120
Quantité disponible : 2 disponible(s)
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
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
Quantité disponible : Plus de 20 disponibles
Image d'archives
HANDBOOK AUTO REASON VOL II H
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur bc228190f5f0c56428bbaf4d0cd0da5a
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Handbook of Automated Reasoning. Vol.2
Edité par
Elsevier Science, 2001
ISBN 10 : 0444508120
ISBN 13 : 9780444508126
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. N° de réf. du vendeur 9780444508126
Quantité disponible : 2 disponible(s)
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. N° de réf. du vendeur ria9780444508126_new
Quantité disponible : Plus de 20 disponibles