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: Yves. Bertot 8 träffar
Titel | Författare | År | Språk | |
---|---|---|---|---|
1 | From Semantics to Computer Science - Essays in Honour of Gilles Kahn | 2009 | Engelska | |
2-3 | Theorem proving in higher order logics - 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999 : proceedings (flera utgåvor) | International Conference on Theorem Proving in Higher Logics 1999) Nice : | cop. 1999 | Engelska |
4 | Interactive theorem proving and program development - Coq'Art: the calculus of inductive constructions | Yves Bertot | 2004 | Engelska |
5 | Interactive Theorem Proving and Program Development | Pierre Castéran | 2004 | Okänt |
6 | Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs' 99 Nice, France, September 1417, 1999 Proceedings | Yves Bertot | uuuu-uuuu | Okänt |
7-8 | Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs (flera utgåvor) | Yves. Bertot | uuuu-uuuu | 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.