Väänänen, J. (Jouko)

ID:DA08037263

別名: Väänänen, Jouko

同姓同名の著者を検索

検索結果8件中 1-8 を表示

1

Logic, language, information, and computation : 23rd International Workshop, WOLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings

Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz (eds.)

Springer c2016 Lecture notes in computer science 9803 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues

所蔵館1館
2

Dependence logic : theory and applications

Samson Abramsky ... [et al.], editors

Birkhäuser , Springer c2016

所蔵館5館
3

Models and games

Jouko Väänänen

Cambridge University Press 2011 Cambridge studies in advanced mathematics 132

: hardback

所蔵館38館
4

Dependence logic : a new approach to independence friendly logic

Jouko Väänänen

Cambridge University Press 2007 London Mathematical Society student texts 70

: hardback , : pbk

所蔵館29館
5

Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003

edited by Viggo Stoltenberg-Hansen, Jouko Väänänen

Association for Symbolic Logic , A K Peters c2006 Lecture notes in logic 24

: hbk , : pbk

所蔵館8館
6

Logic Colloquium '90 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, July 15-22, 1990

edited by Juha Oikkonen and Jouko Väänänen

AK Peters c2001 [reprinted 2001] Lecture notes in logic 2

pbk. : acid-free paper

所蔵館4館
7

Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11-22, 1997 : revised lectures

Jouko Väänänen (ed.)

Springer c1999 Lecture notes in computer science 1754

所蔵館37館
8

Logic Colloquium '90

J. Oikkonen, J. Väänänen (eds.)

Springer-Verlag c1993 Lecture notes in logic 2

: gw , : us

所蔵館29館

Väänänen, J. (Jouko)

検索結果8件中 1-8 を表示

この著者を外部サイトでさがす

関連著者