Disambiguation evidence for "Logic for Computer Science: Foundations of Automatic Theorem Proving" via surface form
"A Computational Logic"
Triples (1)
Triples where some other subject referred to this entity
as "A Computational Logic".