Artículos relacionados a Handbook of Automated Reasoning: Volume II
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialElsevier BV
- Año de publicación2001
- ISBN 10 0444508120
- ISBN 13 9780444508126
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas1188
- EditorRobinson Alan
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 200,84
EUR 17,52 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Handbook of Automated Reasoning: Volume II
Imagen de archivo
Handbook of Automated Reasoning
Publicado por
ELSEVIER SCIENCE & TECHNOLOGY, 2001
ISBN 10: 0444508120
ISBN 13: 9780444508126
Antiguo o usado
Tapa dura
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 1188 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 2037895/2
Cantidad disponible: 1 disponibles
Imagen de archivo
Handbook of Automated Reasoning: Volume II
Publicado por
North Holland 2001-06-21, 2001
ISBN 10: 0444508120
ISBN 13: 9780444508126
Nuevo
Tapa dura
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: New. Nº de ref. del artículo: 6666-ELS-9780444508126
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Handbook of Automated Reasoning
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: 8361741
Cantidad disponible: 3 disponibles
Imagen del vendedor
Handbook of Automated Reasoning. Vol.2
Impresión bajo demandaLibrería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: 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 ref. del artículo: 9780444508126
Cantidad disponible: 2 disponibles
Imagen de archivo
Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Brand New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches. In Stock. Nº de ref. del artículo: __0444508120
Cantidad disponible: 2 disponibles
Imagen del vendedor
Handbook of Automated Reasoning
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 684527-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Handbook of Automated Reasoning
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 684527-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
HANDBOOK AUTO REASON VOL II H
Impresión bajo demandaLibrería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 de 5 estrellas
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: bc228190f5f0c56428bbaf4d0cd0da5a
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Handbook of Automated Reasoning (Volume II)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780444508126_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Handbook of Automated Reasoning. Vol.2
Impresión bajo demandaLibrería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: 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 ref. del artículo: 9780444508126
Cantidad disponible: 2 disponibles