Disambiguation evidence for Handbook of Automated Reasoning via surface form
"A Computational Logic Handbook"
Triples (1)
Triples where some other subject referred to this entity
as "A Computational Logic Handbook".
Robert S. Boyer
→
notableWork
→
"A Computational Logic Handbook"
ⓘ
↳ resolves to Handbook of Automated Reasoning