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 | 岐阜大学図書館蔵書検索（OPAC）

>> Amazon.co.jp

このページのQRコード

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.)

出版情報:

Berlin : Springer, 1999

著者名:

シリーズ名:

Lecture notes in computer science ; 1754 <BA00009279>

ISBN:

9783540669937 [3540669930]

所蔵情報

Loading availability information

子書誌情報

タイトルが類似している資料

詳細

主題:	総記--情報学．情報科学
分類・件名:	NDC9 : 007
TTLL:	eng
言語:	英語
形態:	139 p. : ill. ; 24 cm
書誌ID:	BA44890758

内容紹介

Loading contents information

目次情報

Loading contents information

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures Cassez, Franck, Jard, Claude, Rozoy, Brigitte, Ryan, Mark Dermot Springer	7 図書 Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings International Conference on Theorem Proving in Higher Order Logics, Bertot, Yves Springer
2 図書 Languages and compilers for parallel computing : 11th International Workshop, LCPC '98, Chapel Hill, NC, USA, August 7-9, 1998 : proceedings Workshop on Languages and Compilers for Parallel Computing, Chatterjee, Siddhartha Springer	8 図書 Applied semantics : International Summer School, APPSEM 2000 Caminha, Portugal, September 9-15, 2000, Advanced lectures Barthe, Giles Springer
3 図書 Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : revised … Mathematics of Program Construction, Backhouse, Roland C., 1948-, Crole, Roy L, Gibbons, Jeremy Springer	9 図書 Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : … EEF/Euro Summer School on Trends in Computer Science, Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter Springer
4 図書 Selected Areas in Cryptography : 9th Annual International Workshop, SAC 2002, St. John's, Newfoundland, Canada, August 15-16, 2002 : revised papers SAC, Nyberg, Kaisa, Heys, Howard, 1963- Springer	10 図書 Logic based program synthesis and transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers International Workshop on Logic Program Synthesis and Transformation, Leuschel, Michael Springer
5 図書 Programming languages and systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of … European Symposium on Programming, Le Métayer, D. (Daniel), European Conferences on Theory and Practice of Software Springer	11 図書 Selected areas in cryptography : 10th Annual International Workshop, SAC 2003, Ottawa, Canada, August 14-15, 2003 : revised papers SAC, Matsui, Mitsuru, Zuccherato, Robert Springer
6 図書 Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings International Conference on Theorem Proving in Higher Order Logics, Grundy, J. (Jim), 1968-, Newey, Malcolm Charles Springer	12 図書 Selected areas in cryptography : 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15 : revised selected papers SAC, Avanzi, Roberto, Keliher, Liam, Sica, Francesco Springer