close
1.

図書
図書
1. COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, proceedings (: gw ; : us)
P. Martin-Löf, G. Mints (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  vi, 338 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 417
所蔵情報: loading…
2.

図書
図書
2. Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989 : proceedings (: gw ; : us)
R. Studer (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1990  252 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 459 . Lecture notes in artificial intelligence
所蔵情報: 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. CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings (: gw ; : us)
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  vi, 437 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 440
所蔵情報: loading…
5.

図書
図書
5. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings (: gw ; : us)
K.H. Bläsius, U. Hedtstück, C.-R. Rollinger (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  viii, 307 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 418 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Sorts and Types in Logic, Theorem Proving and Logic Programming
Sorts and Types in Knowledge Representation Including Qualitative Reasoning
Sorts and Types in Natural Language (Understanding) Systems
List of Contributors
Introduction
Sorts and Types in Logic, Theorem Proving and Logic Programming
Sorts and Types in Knowledge Representation Including Qualitative Reasoning
6.

図書
図書
6. 10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990, proceedings (: gw ; : us)
M.E. Stickel (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  xvi, 688 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 449 . Lecture notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼