Publisher
Springer Nature Singapore
Reference10 articles.
1. Beckert, B., Posegga, J.: Logic programming as a basis for lean automated deduction. J. Log. Program. 28(3), 231–236 (1996). https://doi.org/10.1016/0743-1066(96)00054-4. https://www.sciencedirect.com/science/article/pii/0743106696000544
2. Belzer, J., Holzman, A., Kent, A.: Encyclopedia of Computer Science and Technology: Volume 10 - Linear and Matrix Algebra to Microorganisms: Computer-Assisted Identification. Taylor & Francis (1978)
3. Kleene, S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)
4. Knuth, D.: Literate programming. Comput. J. 27(2), 97–111 (1984)
5. Kovács, A., Gémes, K., Iklódi, E., Recski, G.: Potato: explainable information extraction framework. In: Proceedings of the 31st ACM International Conference on Information & Knowledge Management, CIKM 2022, pp. 4897-4901. Association for Computing Machinery, New York (2022). https://doi.org/10.1145/3511808.3557196