Theorem Proving In Higher Order Logics
de Berghofer, Stefan
Ejemplares disponibles
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
de Stefan Berghofer
- Estado
- New
- ISBN
- 9783642033582
- Cantidad disponible
- 1
- Librería
-
Uxbridge, Greater London, GBR
- Precio
-
EUR 58.58
Mostrar detalles
Descripción:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings. Precio
EUR 58.58
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
de Stefan Berghofer
- Estado
- New
- Encuadernación
- Paperback / softback
- ISBN
- 9783642033582
- Cantidad disponible
- 1
- Librería
-
Southport, Merseyside, GBR
- Precio
-
EUR 71.95
Mostrar detalles
Descripción:
Paperback / softback. New. Precio
EUR 71.95
Theorem Proving in Higher Order Logics: 22nd International Conference, Tphols 2009, Munich, Germany, August 17-20, 2009, Proceedings: Vol 5674
de Berghofer, Stefan (Editor)/ Nipkow, Tobias (Editor)/ Urban, Christian (Editor)
- Estado
- New
- Published
- 2009
- Encuadernación
- Paperback
- ISBN
- 9783642033582
- Cantidad disponible
- 1
- Librería
-
Exeter, Devon, GBR
- Precio
-
EUR 73.60
Mostrar detalles
Descripción:
Springer-Verlag New York Inc, 2009. Paperback. New. 1st edition. 517 pages. 9.13x6.06x1.18 inches. Precio
EUR 73.60