|
15-815 Automated Theorem Proving
|
[G02] |
Harald Ganzinger. Shostak Light. Proceedings of the 18th International Conference on Automated Deduction, A.Voronkov, ed., pp.332-346, Springer-Verlag LNAI 2392, 2002. |
[ Home | Schedule | Assignments | Handouts | Software | Resources ]
fp@cs
Frank Pfenning