Wiedijk freek editor

Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 . / Lecture Notes in Artificial Intelligence)

Autexier, Serge [Editor]; Campbell, John [Editor]; Rubio, Julio [Editor]; Sorge, Volker [Editor]; Suzuki, Masakazu [Editor]; Wiedijk, Freek [Editor];

Lingua: Inglese

Editore: Springer, 2008

3540851097 / 9783540851097

Brossura

Da: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

Venditore con 5 stelle

Contatta il venditore

Condizione: Usato - Molto buono

EUR 28,46

EUR 5,98 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

Paperback. Condizione: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

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)

Geuvers, Herman [Editor]; Wiedijk, Freek [Editor];

Lingua: Inglese

Editore: Springer, 2003

354014031X / 9783540140313

Brossura

Da: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

Venditore con 5 stelle

Contatta il venditore

Condizione: Usato - Molto buono

EUR 50,87

EUR 5,98 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

Paperback. Condizione: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

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 80,51

EUR 14,59 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.

The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science, 3600)

Wiedijk, Freek [Editor]

Lingua: Inglese

Editore: Springer, 2006

3540307044 / 9783540307044

Brossura

Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 102,57

EUR 5,95 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

paperback. Condizione: New. In shrink wrap. Looks like an interesting title.

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 109,90

EUR 5,95 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

paperback. Condizione: New. In shrink wrap. Looks like an interesting title.

Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday: 14560 (Lecture Notes in Computer Science, 14560)

Capretta, Venanzio (Editor)/ Krebbers, Robbert (Editor)/ Wiedijk, Freek (Editor)

Lingua: Inglese

Editore: Springer, 2024

3031617150 / 9783031617157

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 191,78

EUR 11,67 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 285 pages. 9.25x6.10x8.90 inches. In Stock.

Wiedijk freek editor (6 risultati)

Perfeziona la tua ricerca

Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 . / Lecture Notes in Artificial Intelligence)

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)

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

The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science, 3600)

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)

Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday: 14560 (Lecture Notes in Computer Science, 14560)