Logic Colloquium
著者名典拠詳細を表示
| 著者の属性 | 会議 |
|---|---|
| 場所 | Oxford;Hannover;Mons;Manchester;Orsay;Hull;Aachen;Granada;Padova;Helsinki;Veszprém, Hungary;Haifa, Israel;San Sebastián, Spain;Leeds;Prague;Utrecht |
| 一般注記 | Its (1978 : Mons) Logic colloquium '78 Its (1983 : Aachen) Its (13-19/7/1986 : Hull) Logic Colloquium '86, 1988 Its Proceedings of the Herbrand symposium, 1982 Its (15-24/7/1984 : Manchester) Logic Colloquium '84, 1986 Its (7-13 July, 1985 : Orsay, France) Logic Colloquium '85, 1987 Its (July 20-25, 1987 : Granada) Logic Colloquium '87, 1989 Its (8/22-31/88 : Padova, Italy) Logic Colloquium '88, 1989 Its (9-15, 1992 : Veszprém) Logic Colloquium '92, c1995 Its (1997 : Leeds, England) Logic Colloquium '97, 1999 EDSRC:Logic colloquium '90 / J. Oikkonen, J. Väänänen (eds.)(Springer-Verlag, c1993) EDSRC:Logic Colloquium '92 / edited by László Csirmaz, Dov M. Gabbay, and Maarten de Rijke(CSLI Publications, c1995) EDSRC:Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995 / Johann A. Makowsky, Elena V. Ravve (eds.)(Springer, c1998) EDSRC:Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 / J.M. Larrazabal, D. Lascar, G. Mints (eds.)(Springer, c1998) EDSRC:Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss(Cambridge University Press, 1999) EDSRC: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 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák(A K Peters, Ltd., c2000) EDSRC:Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands August 1-6, 1999 / edited by Jan van Eijck, Vincent van Oostrom, Albert Visser(A K Peters, Ltd., c2004) |
| Dates of Birth and Death | 1963;1966;1977;1978;1984;1985;1986;1983;1987;1988;1990;1992;1995;1996;1997;1998;1999 |
| から見よ参照 | European Summer Meeting of the Association for Symbolic Logic |
| コード類 | 典拠ID=AU20068938 NCID=DA00307794 |
| 1 | Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II / edited by M.M. Richter ... [et al.] : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984 |
| 2 | Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I / edited by G.H. Müller and M.M. Richter : us,: gw. - Berlin ; New York : Springer-Verlag , 1984 |