PARAMODULATION AND THEOREM PROVING IN FIRST ORDER THEORIES WITH EQUALITY - INSPIRE

DataBETA

PARAMODULATION AND THEOREM PROVING IN FIRST ORDER THEORIES WITH EQUALITY

George Robinson
(
- SLAC
)
,
Lawrence Wos
(
- Argonne
)

Aug, 1968

27 pages

Report number:

SLAC-PUB-0482

reference search0 citations

Citations per year

0 Citations

Note:

Published in Machine Intell. 4, 135-150 (1969)

References(5)

Figures(0)

- J.Assoc.Comput.Machinery 12 23

- J.Assoc.Comput.Machinery 7 201

- J.Assoc.Comput.Machinery 14 687

- J.Assoc.Comput.Machinery 12 536

- J.Assoc.Comput.Machinery 14 698