著者典拠情報

著者標目形：
Schmitt, P. H. (Peter H.), 1948-
属性：
Personal
日付：
1948-
から見よ参照形：
Schmitt, Peter H., 1948-
注記：
Nonmonotonic and inductive logic, c1991: CIP t.p. (P.H. Schmitt) t.p. verso (Peter H. Schmitt, Univ. Karlsruhe, Institut für Logik, Komplexität und Deduktionssysteme, Karlsruhe, FRG) data sheet (b. 5/22/48)
著者典拠ID：
DA05825027


1.

図書
図書
1. 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
所蔵情報: 図書館
2.

図書
図書
2. Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings (: Berlin ; : New York)
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
所蔵情報: 図書館