Publisher
Springer International Publishing
Reference22 articles.
1. Andrews, P.B., Brown, C.E.: TPS: a hybrid automatic-interactive system for developing proofs. J. Appl. Log. 4(4), 367–395 (2006). https://doi.org/10.1016/j.jal.2005.10.002
2. Benzmüller, C., Andrews, P.: Church’s type theory. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Stanford (2019). https://plato.stanford.edu/entries/type-theory-church/
3. Lecture Notes in Computer Science;C Benzmüller,1998
4. Benzmüller, C., Miller, D.: Automation of higher-order logic. In: Siekmann, J.H. (ed.) Computational Logic, Handbook of the History of Logic, vol. 9, pp. 215–254. Elsevier, Amsterdam (2014). https://doi.org/10.1016/B978-0-444-51624-4.50005-8
5. Frontiers in AI and Applications;C Benzmüller,2012