Hoppa till sidans huvudinnehåll

Freek Wiedijk – författare

Visar alla böcker från författaren .
6 produkter
Venanzio Capretta, Robbert Krebbers, Freek Wiedijk - Logics and Type Systems in Theory and Practice, Häftad
Del 14560 - Lecture Notes in Computer Science

Logics and Type Systems in Theory and Practice

Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

AvVenanzio Capretta,Robbert Krebbersm. fl.

Häftad, Engelska, 2024

1 829 kr

Skickas inom 10-15 vardagar

Freek Wiedijk, Oded Maler, Amir Pnueli - Hybrid Systems: Computation and Control, Häftad

Hybrid Systems: Computation and Control

6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

AvFreek Wiedijk,Oded Malerm. fl.

Häftad, Engelska, 2003

1 449 kr

Skickas inom 10-15 vardagar

Herman Geuvers, Freek Wiedijk - Types for Proofs and Programs, Häftad

Types for Proofs and Programs

Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

AvHerman Geuvers,Freek Wiedijk

Häftad, Engelska, 2003

709 kr

Skickas inom 10-15 vardagar

Freek Wiedijk - Seventeen Provers of the World, Häftad

Seventeen Provers of the World

Foreword by Dana S. Scott

AvFreek Wiedijk

Häftad, Engelska, 2006

779 kr

Skickas inom 10-15 vardagar

Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk - Intelligent Computer Mathematics, Häftad

Intelligent Computer Mathematics

9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings

AvSerge Autexier,John Campbellm. fl.

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk - Interactive Theorem Proving, Häftad

Interactive Theorem Proving

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

AvMarko Van Eekelen,Herman Geuversm. fl.

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar