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: Logic Colloquium 120 träffar

Titel Författare År Språk
101 Models and Computability - invited papers from Logic Colloquium '97 European Meeting of the Association for Symbolic Logic, Leeds, July 1997 Logic Colloquium '97 : (1997 : Leeds) 1999 Engelska
102 Sets and proofs - invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 Logic Colloquium '97 1997) (Leeds : 1999 Engelska
103 Forschungsgespräche des Internationalen Forschungszentrums für Grundfragen der Wissenschaften Salzburg 14, Problems in logic and ontology Internationales Forschungszentrum für Grundfragen der Wissenschaften Salzburg 1977 Engelska
104 Logic Colloquium '02 - proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 Germany) Logic Colloquium '02 (2002 : Münster 2016 Engelska
105 Logic Colloquium '96 Spain) Logic Colloquium (1996 : San Sebastián 2016 Engelska
106 Logic Colloquium '98 - proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998 Czech Republic) Logic Colloquium (1998 : Prague 2016 Engelska
107 Provability, Computability and Reflection Summer School and Colloquium in Mathematical Logic 1971 Engelska
108 ISILC logic conference - proceedings of the International summer institute and logic colloquium, Kiel 1974 International summer institute and logic colloquium (Kiel : 1974) 1975 Engelska
109 Colloquium on Advances in Programmable Logic Controllers Colloquium on Advances in Programmable Logic Controllers (London : 1992) 1992 Engelska
110 ISILC Proof Theory Symposion - dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 International Summer Institute and Logic Colloquium (1974 : Kiel) 1975 Engelska
111 Temporal logic in specification - proceedings : Altrincham, UK, April 8-10, 1987 cop. 1989 Engelska
112 Finite algebra and multiple-valued logic 1981 Engelska
113 Logic colloquium '69 - Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969 1969 Engelska
114 Physics, logic, and history - based on the first International colloquium held at the University of Denver, May 16-20, 1966 1970 Engelska
115 Provability, Computability and Reflection International Colloquium on Mathematical Logic and Foundations of Set Theory 1970 Engelska
116 TAPSOFT '87 Vol. 2, Advanced seminar on foundations of innovative software development II and Colloquium on functional and logic programming and specifications (CFLP) - proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 International Joint Conference on Theory and Practice of Software Development 1987) Pisa : cop. 1987 Engelska
117 Algebra, combinatorics and logic in computer science 1986 Engelska
118 Logic Colloquium '96 - proceedings of the colloquium held in San Sebastian, Spain, July 9 - 15, 1996 Golfo de Vizcaya>) San Sebastián Logic Colloquium (1996 1998 Engelska
119 The problem of reductionism in science - (colloquium of the Swiss Society of Logic and Philosophy of Science, Zürich, May 18-19, 1990) 1991 Engelska
120 Competing Claims to Computing as a Discipline 3-8 August 201 University of Helsinki Annual European Summer Meeting of the Association for Symbolic Logic (ASL) Logic Colloquium 2015 LC 2015 Matti Tedre 2015 Engelska

Förra sidan 1 2 3 4 5 6

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.