HANDBOOK AUTO REASON VOL II H. Este artículo no está disponible.
Editorial: North Holland
Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Vendedor de 5 estrellas
Vendedor de IberLibro desde 11 de octubre de 2022
No disponible
Condición: Nuevo
EUR 215,39
Descripción del artículo del vendedor
Questo è un articolo print on demand.
N° de ref. del artículo bc228190f5f0c56428bbaf4d0cd0da5a
- Título
- HANDBOOK AUTO REASON VOL II H
- Autor
- Robinson, Alan J.A.
- Editorial
- North Holland
- Estado
- new
- ISBN 10
- 0444508120
- ISBN 13
- 9780444508126
- Peso del artículo
- 2,48 kilogramos
Handbook of Automated Reasoning - Vol 2
“Sinopsis” puede pertenecer a otra edición de este título.
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.
“Acerca de” puede pertenecer a otra edición de este título.
Resultados de la búsqueda para HANDBOOK AUTO REASON VOL II H
Hay 2 copias más de este libroVer todos los resultados