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)
- Nuevo
- Tapa blanda
- Estado
- Nuevo
- ISBN 10
- 364203358X
- ISBN 13
- 9783642033582
- Librería
-
Exeter, Devon, United Kingdom
2 copias disponibles en esta librería
(Puedes añadir más en el área de pago.)
Formas de pago aceptadas
Sobre este artículo
Springer-Verlag New York Inc, 2009. Paperback. New. 1st edition. 517 pages. 9.13x6.06x1.18 inches.
Reseñas
(¡Iniciar sesión or Crear una cuenta primero!)
Detalles
- Librería
- Revaluation Books (GB)
- Inventario del vendedor #
- x-364203358X
- Título
- Theorem Proving in Higher Order Logics: 22nd International Conference, Tphols 2009, Munich, Germany, August 17-20, 2009, Proceedings: Vol 5674
- Autor
- Berghofer, Stefan (Editor)/ Nipkow, Tobias (Editor)/ Urban, Christian (Editor)
- Formato/Encuadernación
- Tapa blanda
- Estado del libro
- Nuevo
- Cantidad disponible
- 2
- ISBN 10
- 364203358X
- ISBN 13
- 9783642033582
- Editorial
- Springer-Verlag New York Inc
- Fecha de publicación
- 2009
Términos de venta
Revaluation Books
30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.
Sobre el vendedor
Revaluation Books
Miembro de Biblio desde 2020
Exeter, Devon
Sobre Revaluation Books
General bookseller of both fiction and non-fiction.
Glosario
Algunos términos que podrían usarse en esta descripción incluyen:
- New
- A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...