A many-sorted calculus based on resolution and paramodulation
Author(s)
Bibliographic Information
A many-sorted calculus based on resolution and paramodulation
（Research notes in artificial intelligence）
Pitman , Morgan Kaufmann Publishers, 1987
- : Pitman
- : Morgan Kaufmann
Available at 26 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: PitmanWAL||45||187046370
Note
Bibliography: p. 154-160