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
9 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 |
| 9 |
Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions / by Yves Bertot, Pierre Castéran
|
Yves. author. 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.