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…
11.

図書
図書
11. Logical frameworks for truth and abstraction : an axiomatic study
Andrea Cantini
出版情報: Amsterdam ; Tokyo : Elsevier Science B.V., 1996
シリーズ名: Studies in logic and the foundations of mathematics ; v. 135
所蔵情報: loading…
12.

図書
図書
12. Set theory, logic, and their limitations (: pbk)
Moshé Machover
出版情報: Cambridge ; New York : Cambridge University Press, 1996
所蔵情報: loading…
13.

図書
図書
13. Automated deduction in equational logic and cubic curves
W. McCune, R. Padmanabhan
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1095 . Lecture notes in artificial intelligence
所蔵情報: loading…
14.

図書
図書
14. Introduction to mathematical logic (: pbk)
by Alonzo Church
出版情報: Princeton : Princeton University Press, 1996
シリーズ名: Princeton landmarks in mathematics and physics
所蔵情報: loading…
15.

図書
図書
15. Logic and visual information (: cloth : alk. paper ; : pbk. : alk. paper)
Eric M. Hammer
出版情報: Stanford, Calif. : CSLI Publications , [Dordrecht?] : FoLLI, c1995
シリーズ名: Studies in logic, language and information
所蔵情報: loading…
16.

図書
図書
16. The logic of partial information (: Berlin ; : New York)
Areski Nait Abdallah
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名: Monographs in theoretical computer science : an EATCS series
所蔵情報: loading…
17.

図書
図書
17. Meta-logics and logic programming
edited by Krzysztof R. Apt and Franco Turini
出版情報: Cambridge, Mass. : MIT Press, c1995
シリーズ名: Logic programming
所蔵情報: loading…
18.

図書
図書
18. Epistemic logic for AI and computer science (hardback)
J.-J. Ch. Meyer and W. van der Hoek
出版情報: Cambridge ; New York : Cambridge University Press, c1995
シリーズ名: Cambridge tracts in theoretical computer science ; 41
所蔵情報: loading…
19.

図書
図書
19. What is a logical system?
edited by D.M. Gabbay
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1994
シリーズ名: Studies in logic and computation ; 4
所蔵情報: loading…
20.

図書
図書
20. Vivid logic : knowledge-based reasoning with two kinds of negation (: us ; : gw)
Gerd Wagner
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 764 . Lecture notes in artificial intelligence
所蔵情報: loading…
21.

図書
図書
21. Deduction methodologies
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1994
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 2
所蔵情報: loading…
22.

図書
図書
22. Nonmonotonic reasoning and uncertain reasoning
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, D. Nute
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1994
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 3
所蔵情報: loading…
23.

図書
図書
23. Logic and information flow
edited by Jan van Eijck and Albert Visser
出版情報: Cambridge, Mass. : MIT Press, c1994
シリーズ名: Foundations of computing
所蔵情報: loading…
24.

図書
図書
24. Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings (: gw ; : us)
Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 827 . Lecture notes in artificial intelligence
所蔵情報: loading…
25.

図書
図書
25. Temporal logic : mathematical foundations and computational aspects (v. 1 ; v. 2)
Dov M. Gabbay, Ian Hodkinson and Mark Reynolds
出版情報: Oxford : Clarendon Press , New York ; Tokyo : Oxford University Press, 1994-
シリーズ名: Oxford logic guides ; 28, 40
所蔵情報: loading…
26.

図書
図書
26. Logic and structure. 3rd augm. ed
Dirk van Dalen
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Universitext
所蔵情報: loading…
27.

図書
図書
27. Logic for applications (: us ; : gw)
Anil Nerode, Richard A. Shore
出版情報: New York : Springer-Verlag, c1993
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
28.

図書
図書
28. Logical foundations
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1993
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 1
所蔵情報: loading…
29.

図書
図書
29. Iteration theories : the equational logic of iterative processes (: us ; : gw)
Stephen L. Bloom, Zoltán Ésik
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993
シリーズ名: EATCS monographs on theoretical computer science
所蔵情報: loading…
30.

図書
図書
30. Logic and algebra of specification (: us ; : gw)
edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: NATO ASI series ; ser. F . Computer and system sciences ; v. 94
所蔵情報: loading…
31.

図書
図書
31. The logic of information structures (: us ; : gw)
Heinrich Wansing
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 681 . Lecture notes in artificial intelligence
所蔵情報: loading…
32.

図書
図書
32. The temporal logic of reactive and concurrent systems ([v. 1], Specification : us ; [v. 1], Specification : gw)
Zohar Manna, Amir Pnueli
出版情報: New York ; Tokyo : Springer-Verlag, c1992-
所蔵情報: loading…
33.

図書
図書
33. Lectures on linear logic (: [hard] ; : pbk)
A.S. Troelstra
出版情報: Stanford, Calif. : Center for the Study of Language and Information, c1992
シリーズ名: CSLI lecture notes ; no. 29
所蔵情報: loading…
34.

図書
図書
34. Background : computational structures
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press, 1992
シリーズ名: Handbook of logic in computer science ; v. 2
所蔵情報: loading…
35.

図書
図書
35. Background : mathematical structures
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press, 1992
シリーズ名: Handbook of logic in computer science ; v. 1
所蔵情報: loading…
36.

図書
図書
36. Specifying message passing and time-critical systems with temporal logic (: gw ; : us)
Ron Koymans
出版情報: Berlin ; Tokyo : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 651
所蔵情報: loading…
37.

図書
図書
37. Conditional inference and logic for intelligent systems : a theory of measure-free conditioning
I.R. Goodman, H.T. Nguyen, and E.A. Walker
出版情報: Amsterdam : North-Holland , New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1991
所蔵情報: loading…
38.

図書
図書
38. From natural language processing to logic for expert systems : a logic based approach to artificial intelligence
editor, André Thayse ; authors, Jean-Louis Binot ... [et al.]
出版情報: Chichester ; New York : Wiley, c1991
所蔵情報: loading…
39.

図書
図書
39. Logic of domains (: Boston ; : Basel)
Guo-Qiang Zhang
出版情報: Boston : Birkhäuser, 1991
シリーズ名: Progress in theoretical computer science
所蔵情報: loading…
40.

図書
図書
40. Language in action : categories, lambdas and dynamic logic
Johan van Benthem
出版情報: Amsterdam ; New York : North-Holland , New York : Distirbutors for the United States and Canada, Elsevier Science Publishing Company Inc., 1991
シリーズ名: Studies in logic and the foundations of mathematics ; v. 130
所蔵情報: loading…
41.

図書
図書
41. A resolution principle for a logic with restricted quantifiers (: gw ; : us)
H.-J. Bürckert
出版情報: Berlin ; New York : Springer Verlag, c1991
シリーズ名: Lecture notes in computer science ; 568 . Lecture notes in artificial intelligence
所蔵情報: loading…
42.

図書
図書
42. First-order logic and automated theorem proving (: us ; : gw)
Melvin Fitting
出版情報: New York : Springer-Verlag, c1990
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
43.

図書
図書
43. Process algebra
J.C.M. Baeten, W.P. Weijland
出版情報: Cambridge ; New York : Cambridge University Press, 1990
シリーズ名: Cambridge tracts in theoretical computer science ; 18
所蔵情報: loading…