A many-sorted calculus based on resolution and paramodulation
著者
書誌事項
A many-sorted calculus based on resolution and paramodulation
（Research notes in artificial intelligence）
Pitman , Morgan Kaufmann Publishers, 1987
- : Pitman
- : Morgan Kaufmann
大学図書館所蔵 件 / 全26件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 154-160
