Author:
Sutcliffe Geoff,Schulz Stephan,Claessen Koen,Van Gelder Allen
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lecture Notes in Computer Science;C. Benzmüller,2005
2. Caprotti, O., Carlisle, D.: OpenMath and MathML: Semantic Mark Up for Mathematics. ACM Crossroads 6(2) (1999)
3. Claessen, K., Sorensson, N.: New Techniques that Improve MACE-style Finite Model Finding. In: Baumgartner, P., Fermueller, C. (eds.) Proceedings of the CADE-19 Workshop: Model Computation - Principles, Algorithms, Applications (2003)
4. Lecture Notes in Artificial Intelligence;E. Denney,2004
5. Denzinger, J., Schulz, S.: Recording and Analysing Knowledge-Based Distributed Deduction Processes. Journal of Symbolic Computation 21, 523–541 (1996)
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献