著者典拠情報

標目形：
Bürckert, Hans-Jürgen
属性：
Personal
から見よ参照形：
Bürckert, H.-J.
注記：
Deduktionssysteme, 1987: t.p. (H.-J. Bürckert) p. 104 (Hans-Jürgen Bürckert)
著者典拠ID：
DA03764941


 close
1.

図書
図書
1. A resolution principle for a logic with restricted quantifiers (: gw ; : us)
H.-J. Bürckert
出版情報: Berlin ; New York : Springer Verlag, c1991
シリーズ名: Lecture notes in computer science ; 568 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Deduction systems in artificial intelligence (: E. Horwood ; : Halsted Press)
editors, Karl Hans Bläsius, Hans-Jürgen Bürckert
出版情報: Chichester, [England] : Ellis Horwood Limited , New York : Halsted Press, 1989
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…