close
1.

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

図書
図書
2. Theory reasoning in connection calculi
Peter Baumgartner
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1527 . Lecture Notes in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. 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
4.

図書
図書
4. Gems of theoretical computer science
Uwe Schöning, Randall Pruim
出版情報: Berlin ; New York : Springer, c1998
所蔵情報: loading…
5.

図書
図書
5. Lectures on proof verification and approximation algorithms
Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1367
所蔵情報: loading…
6.

図書
図書
6. The automation of reasoning with incomplete information : from semantic foundations to efficient computation (: pbk)
Torsten Schaub
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1409 . Lecture notes in artificial intelligence
所蔵情報: loading…
7.

図書
図書
7. Extensional constructs in intensional type theory (hardback)
Martin Hofmann
出版情報: London ; Berlin : Springer, c1997
シリーズ名: CPHC/BCS distinguished dissertation series
所蔵情報: loading…
8.

図書
図書
8. Deduction systems
Rolf Socher-Ambrosius, Patricia Johann
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Graduate texts in computer science
所蔵情報: loading…
9.

図書
図書
9. 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…
10.

図書
図書
10. Automated mathematical induction
edited by H. Zhang
出版情報: Dordrecht ; Boston : Kluwer Academic, c1996
所蔵情報: loading…