Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference60 articles.
1. Andrews, P.B.: Transforming matings into natural deduction proofs. In: Bibel, W., Kowalski, R., (eds.) 5-th Conference on Automated Deduction, Lecture Notes in Computer Science, pp. 281–292. Springer (1980)
2. Andrews, P.B.: More on the problem of finding a mapping between clause representation and natural-deduction representation. J. Autom. Reason. 7(2), 285–286 (1991)
3. Bancerek, G., Byliński, C., Grabowski, A., Korniłowicz, A., Matuszewski, R., Naumowicz, A., Pak, K.: The role of the Mizar mathematical library for interactive proof development in Mizar. J. Autom. Reason. 61(1–4), 9–32 (2018)
4. Bernays, P.: Beiträge zur axiomatischen Behandlung des Logik-Kalküls. Georg-August-Universität Göttingen, Habilitation (1918)
5. Bledsoe, W.: Non-resolution theorem proving. Artif. Intell. 9(1), 1–35 (1977)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proofs as Objects;Axiomatic Thinking I;2022