close
1.

図書
図書
1. Computational logic
edited by Ulrich Berger, Helmut Schwichtenberg
出版情報: Berlin ; Tokyo : Springer, c1999  444 p. ; 25 cm
シリーズ名: NATO ASI series ; Series F . Computer and systems sciences ; v. 165
所蔵情報: loading…
2.

図書
図書
2. Logical Approaches to Computational Barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings
Arnold Beckmann ... [et al.]
出版情報: Berlin : Springer, c2006  xv, 608 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3988
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼