Instantiation Theory : On the Foundations of Automated Deduction
類似資料:
Springer Berlin Heidelberg : Imprint: Springer | |
Springer-Verlag | |
11
電子ブック
Computer Science Logic : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings
Springer-Verlag | |
12
電子ブック
Computer Science Logic : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings
Springer-Verlag |