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…