Publisher
Springer Nature Switzerland
Reference24 articles.
1. Barrett, C., Fontaine, P., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org (2016)
2. Lecture Notes in Computer Science;C Barrett,2005
3. Boyer, R.S., Moore, J.S.: A Computational Logic Handbook. Academic Press (1988). https://doi.org/10.1016/C2013-0-10412-6
4. Bundy, A., Stevens, A., Harmelen, F.V., Ireland, A., Smaill, A.: Rippling: a heuristic for guiding inductive proofs. Artif. Intell. 62, 185–253 (1993). https://doi.org/10.1016/0004-3702(93)90079-Q
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);K Claessen,2013
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献