Geuvers herman editor (3 risultati)

Autore:

Perfeziona con la Ricerca avanzata

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)
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2011
3642228623 / 9783642228629
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 83,75
EUR 14,75 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Paperback. Condizione: 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];
Lingua: Inglese
Editore: Springer, 2003
354014031X / 9783540140313
- Brossura
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 114,73
EUR 6,21 spedizione
Spedito in U.S.A.
Quantità: 1 disponibile
paperback. Condizione: 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)
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2017
3319620746 / 9783319620749
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 83,05
EUR 41,29 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Paperback. Condizione: Brand New. 351 pages. 9.30x6.20x0.90 inches. In Stock.

Geuvers herman editor (3 risultati)

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