Disambiguation evidence for First-Order Logic and Automated Theorem Proving via surface form
"First-Order Logic and Automated Theorem Proving (book with Richard L. Mendelsohn)"
Triples (1)
Triples where some other subject referred to this entity
as "First-Order Logic and Automated Theorem Proving (book with Richard L. Mendelsohn)".
Melvin Fitting
→
notableWork
→
"First-Order Logic and Automated Theorem Proving (book with Richard L. Mendelsohn)"
ⓘ
↳ resolves to First-Order Logic and Automated Theorem Proving