Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Freek Wiedijk 13 träffar

Titel Författare År Språk
1-2 Types for proofs and programs - international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers (flera utgåvor) Netherlands) TYPES 2002 (2002 : Berg en Dal cop. 2003 Engelska
3 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 Jaime G. Carbonell 2008 Engelska
4 The seventeen provers of the world 2006 Engelska
5 The Seventeen Provers of the World electronic resource - Foreword by Dana S. Scott 2006 Engelska
6 Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings Marko. Eekelen 2011 Engelska
7 Intelligent Computer Mathematics Freek Wiedijk 2008 Okänt
8 Types for Proofs and Programs - Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers Netherlands), TYPES 2002 (2002 : Berg en Dal TYPES 2002 2003 Engelska
9 Seventeen Provers of the World (Lecture notes in computer science, Lecture notes in artificial intelligence. AI-systems 3600) Freek Wiedijk 2006 Okänt
10 Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 35, 2003 Proceedings Freek Wiedijk uuuu-uuuu Okänt
11 Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday Venanzio Capretta 2024 Engelska
12 Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday 2024 Okänt
13 Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings 2011 Okänt

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.