Geuvers herman editor (3 resultados)

Autor:

Refinar con la Búsqueda avanzada

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings
Van Eekelen, Marko (Editor)/ Geuvers, Herman (Editor)/ Schmaltz, Julien (Editor)/ Wiedijk, Freek (Editor)
Idioma: Inglés
Editorial: Springer-Verlag New York Inc, 2011
3642228623 / 9783642228629
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Vendedor de 5 estrellas
Contactar con el vendedor
Condición: Nuevo
EUR 83,39
Envío por EUR 14,75
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 394 pages. 9.20x6.10x0.90 inches. In Stock.
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science, 2646)
Geuvers, Herman [Editor]; Wiedijk, Freek [Editor];
Idioma: Inglés
Editorial: Springer, 2003
354014031X / 9783540140313
- Tapa blanda
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de AmericaBennettBooksLtd
Vendedor de 5 estrellas
Contactar con el vendedor
Condición: Nuevo
EUR 114,73
Envío por EUR 6,21
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponible
paperback. Condición: New. In shrink wrap. Looks like an interesting title.
Intelligent Computer Mathematics: 10th International Conference, Cicm 2017, Edinburgh, Uk, July 17-21, 2017, Proceedings
Geuvers, Herman (Editor)/ England, Matthew (Editor)/ Hasan, Osman (Editor)/ Rabe, Florian (Editor)/ Teschke, Olaf (Editor)
Idioma: Inglés
Editorial: Springer-Verlag New York Inc, 2017
3319620746 / 9783319620749
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Vendedor de 5 estrellas
Contactar con el vendedor
Condición: Nuevo
EUR 82,67
Envío por EUR 41,29
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 351 pages. 9.30x6.20x0.90 inches. In Stock.

Geuvers herman editor (3 resultados)

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings

Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science, 2646)

Intelligent Computer Mathematics: 10th International Conference, Cicm 2017, Edinburgh, Uk, July 17-21, 2017, Proceedings