close
1.

図書
図書
1. Logic, algebra, and computation (: Berlin ; : New York)
edited by Friedrich L. Bauer
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  485 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and system sciences ; v. 79
所蔵情報: loading…
2.

図書
図書
2. Algorithms and complexity : proceedings of the first Italian conference, Rome, Italy, 1-2 October 1990 (: pbk)
editors, Giorgio Ausiello, Daniel P. Bovet, Rosella Petreschi
出版情報: Singapore ; Teaneck, N.J. : World Scientific, 1990  viii, 217 p. ; 23 cm
所蔵情報: loading…
3.

図書
図書
3. Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 (: gw ; : us)
S. Homer ... [et al.] ; editor, P. Odifreddi
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  162 p. ; 25 cm
シリーズ名: Lecture notes in mathematics ; 1429 . Fondazione C.I.M.E., Firenze
所蔵情報: loading…
4.

図書
図書
4. Complexity of computation
[edited by Richard M. Karp]
出版情報: Providence, R.I. : American Mathematical Society, 1974  vii, 166 p. ; 26 cm
シリーズ名: SIAM-AMS proceedings ; v. 7
所蔵情報: loading…
5.

図書
図書
5. Feasible mathematics II (: us ; : gw)
Peter Clote, Jeffrey B. Remmel, editors
出版情報: Boston : Birkhäuser, 1995  viii, 447 p. ; 25 cm
シリーズ名: Progress in computer science and applied logic ; v. 13
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼