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
-
Hokkaido University, Faculty and Graduate School of Engineering図書
Morgan KaufmannDC22:006.3/R3113570104884
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. 154-160
