close
1.

図書
図書
1. Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings (: gw ; : us)
J. Dix, K.P. Jantke, P.H. Schmitt, eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 543 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings (: gw ; : us)
G. Brewka, K.P. Jantke, P.H. Schmitt, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 659 . 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