close
1.

図書
図書
1. Introduction to circuit complexity : a uniform approach (: softcover)
Heribert Vollmer
出版情報: Berlin ; New York : Springer, c1999
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: loading…
2.

図書
図書
2. Formal concept analysis : mathematical foundations (: softcover)
Bernhard Ganter, Rudolf Wille ; [translated from the German by Cornelia Franzke]
出版情報: Beelin ; New York : Springer, c1999
所蔵情報: loading…
3.

図書
図書
3. Handbook of tableau methods
edited by Marcello D'Agostino ... [et al.]
出版情報: Dordrecht : Kluwer, 1999
所蔵情報: loading…
4.

図書
図書
4. Logic programming
edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson
出版情報: Oxford : Clarendon Press, 1998
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 5
所蔵情報: loading…
5.

図書
図書
5. Automated deduction : a basis for applications (set - v.3)
edited by Wolfgang Bibel and Peter H. Schmitt
出版情報: Dordrecht : Kluwer Academic, c1998
シリーズ名: Applied logic series ; v.8-10
所蔵情報: loading…
目次情報:
v.1. Foundations. calculi and methods
v.2. Systems and implementation techniques
v.3. Applications
v.1. Foundations. calculi and methods
v.2. Systems and implementation techniques
v.3. Applications
6.

図書
図書
6. Higher order operational techniques in semantics
edited by Andrew D. Gordon and Andrew M. Pitts
出版情報: New York : Cambridge University Press, c1998
シリーズ名: Publications of the Newton Institute ; 12
所蔵情報: loading…
7.

図書
図書
7. Logic for applications. 2nd ed
Anil Nerode and Richard A. Shore
出版情報: New York : Springer, c1997
シリーズ名: Graduate texts in computer science
所蔵情報: loading…
8.

図書
図書
8. Admissibility of logical inference rules
Vladimir V. Rybakov
出版情報: Amsterdam ; Tokyo : Elsevier Science B.V., c1997
シリーズ名: Studies in logic and the foundations of mathematics ; v. 136
所蔵情報: loading…
9.

図書
図書
9. Semantics and logics of computation
edited by Andrew M. Pitts, Peter Dybjer
出版情報: New York : Cambridge University Press, 1997
シリーズ名: Publications of the Newton Institute ; 14
所蔵情報: loading…
10.

図書
図書
10. Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (eds.)
出版情報: Berlin : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1261
所蔵情報: loading…