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: Kurt Gödel Colloquium
7 träffar
|
Titel |
Författare |
År |
Språk |
1 |
Computational Logic and Proof Theory electronic resource : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici
|
Kurt Gödel Colloquium
|
uuuu-uuuu |
Okänt |
2 |
Computational Logic and Proof Theory electronic resource : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici
|
Kurt Gödel Colloquium
|
uuuu-uuuu |
Okänt |
3-4 |
Computational Logic and Proof Theory
(flera utgåvor)
|
Kurt Gödel Colloquium
|
1997 |
Engelska |
5 |
Computational logic and proof theory - proceedings
|
Kurt Gödel Colloquium 1993) Brno :
|
cop. 1993 |
Engelska |
6 |
Computational logic and proof theory
|
Kurt Gödel Colloquium 1997 : Wien)
|
cop. 1997 |
Engelska |
7 |
Computer science logic. - 17th international workshop, CSL 2003, 12th annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings
|
|
2003 |
Engelska |
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.