Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Format: kindle
ASIN: B000WNFRN0
Publish date: October 10th 2008
Publisher: Springer
Pages no: 136
Edition language: English