close
1.

図書
図書
1. Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
organized by CHEOPS ESPRIT BRA 3215 ; sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. Gordon
出版情報: Amsterdam ; New York : North-Holland, 1993  xiii, 568 p. ; 23 cm
シリーズ名: IFIP transactions ; A . Computer science and technology ; 20
所蔵情報: loading…
2.

図書
図書
2. Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings (: us ; : gw)
Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  xi, 348 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 713
所蔵情報: loading…
3.

図書
図書
3. Geometric reasoning for perception and action : Workshop, Grenoble, France, September 16-17, 1991 : selected papers (: gw ; : us)
Christian Laugier (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  viii, 281 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 708
所蔵情報: loading…
4.

図書
図書
4. Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings (: gw ; : us)
Andrei Voronkov (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  xiii, 386 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 698 . Lecture notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼