Felty, A. (1989). Specifying and implementing theorem provers in a higher-order logic programming language. Dep. of Computer and Information Science, School of Engineering and Applied Science.
Chicago-Zitierstil (17. Ausg.)Felty, Amy. Specifying and Implementing Theorem Provers in a Higher-order Logic Programming Language. Philadelphia, Pa: Dep. of Computer and Information Science, School of Engineering and Applied Science, 1989.
MLA-Zitierstil (9. Ausg.)Felty, Amy. Specifying and Implementing Theorem Provers in a Higher-order Logic Programming Language. Dep. of Computer and Information Science, School of Engineering and Applied Science, 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.