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: Helmut Schwichtenberg 27 träffar

Titel Författare År Språk
1-3 Basic proof theory (flera utgåvor) Anne Sjerp Troelstra 2000 Engelska
4 Proof and computation - proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993 cop. 1995 Engelska
5 Computational logic - proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 - August 10, 1997 1999 Engelska
6-7 Computer science logic - 14th international workshop, CSL 2000, Fischbachau, Germany, August 21-26, 2000 (flera utgåvor) International Workshop on Computer Science Logic 2000) Fischbachau : cop. 2000 Engelska
8 Proof technology and computation Germany) NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf c2006 Engelska
9-10 Proofs and computations (flera utgåvor) Helmut Schwichtenberg 2012 Engelska
11 Computational Logic Ulrich Berger 1999 Engelska
12 Proof and System-Reliability Helmut Schwichtenberg 2002 Okänt
13 Proof and Computation Helmut Schwichtenberg 1995 Engelska
14 Proof and System-Reliability Helmut; Steinbrüggen Schwichtenberg 2002 Engelska
15 Logic of Computation Helmut Schwichtenberg 1997 Okänt
16 Logic and Algebra of Specification Helmut Schwichtenberg 1993 Okänt
17 Proof and Computation Helmut Schwichtenberg 1995 Okänt
18 Computational Logic Helmut Schwichtenberg 1999 Okänt
19 Basic proof theory A. S. Troelstra 2000 Engelska
20 Computer Science Logic - 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings Germany), Workshop on Computer Science Logic 2000 : Fischbachau Workshop on Computer Science Logic 2000 Engelska

1 2 Nästa sida

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.