Automatic theorem proving based on resolution
Author(s)
Bibliographic Information
Automatic theorem proving based on resolution
(Annual review in automatic programming, Vol. 7,
Pergamon Press, c1973
Available at / 5 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C||Annual-1||7(4)2040776
-
No Libraries matched.
- Remove all filters.