|
|||||
|
|
|
|
|
|
|
|
|
A
decision procedure for a class of formulas of first order
predicate calculus
Melven Robert Krom |
|
Vol. 14 (1964), No. 4, 1305–1319
|
Mathematical Subject Classification
Primary: 02.54
|
Milestones
Received: 6 June 1963
Published: 1 December 1964
|
Authors |
| Melven Robert Krom | |
|
