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
84 träffar
|
Titel |
Författare |
År |
Språk |
61-62 |
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
(flera utgåvor)
|
Germany) Logic Colloquium '02 (2002 : Münster
|
2016 |
Engelska |
63 |
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 |
64 |
Logic Colloquium 2000 - Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Paris, France, July 23–31, 2000
|
France) Logic Colloquium (2000 : Paris
|
2016 |
Engelska |
65 |
Logic Colloquium '95 - proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995
|
Israel) Logic Colloquium (1995 : Haifa
|
2016 |
Engelska |
66 |
Logic Colloquium '90 - ASL summer meeting in Helsinki
|
Finland) Logic Colloquium (1990 : Helsinki
|
2016 |
Engelska |
67 |
Logic Colloquium '03 - proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003
|
Finland) Logic Colloquium (2003 : Helsinki
|
2016 |
Engelska |
68 |
Logic Colloquium '99 - proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
|
Netherlands) Logic Colloquium (1999 : Utrecht
|
2016 |
Engelska |
69 |
Logic Colloquium '01 - proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001
|
Austria) Logic Colloquium (2001 : Vienna
|
2016 |
Engelska |
70 |
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 |
71 |
Logic Colloquium '96
|
Spain) Logic Colloquium (1996 : San Sebastián
|
2016 |
Engelska |
72 |
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 |
73 |
ISILC logic conference - proceedings of the International summer institute and logic colloquium, Kiel 1974
|
International summer institute and logic colloquium (Kiel : 1974)
|
1975 |
Engelska |
74 |
Colloquium on Advances in Programmable Logic Controllers
|
Colloquium on Advances in Programmable Logic Controllers (London : 1992)
|
1992 |
Engelska |
75 |
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 |
76 |
Temporal logic in specification - proceedings : Altrincham, UK, April 8-10, 1987
|
|
cop. 1989 |
Engelska |
77 |
Logic colloquium '69 - Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969
|
|
1969 |
Engelska |
78 |
Finite algebra and multiple-valued logic
|
|
1981 |
Engelska |
79 |
Physics, logic, and history - based on the first International colloquium held at the University of Denver, May 16-20, 1966
|
|
1970 |
Engelska |
80 |
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 |
Förra sidan
1
2
3
4
5
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.