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: Tobias Nipkow 24 träffar
Titel | Författare | År | Språk | |
---|---|---|---|---|
21 | Theorem Proving in Higher Order Logics | Stefan Berghofer | 2009 | Okänt |
22 | Isabelle/HOL electronic resource : A Proof Assistant for Higher-Order Logic / by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel | Tobias. author. Nipkow | uuuu-uuuu | Okänt |
23 | Concrete Semantics : With Isabelle/HOL / by Tobias Nipkow, Gerwin Klein | Tobias. author. Nipkow | uuuu-uuuu | Okänt |
24 | Concrete Semantics : With Isabelle/HOL | Tobias Nipkow | 2014 | Okänt |
Förra sidan 1 2
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.