Publisher
Springer Nature Switzerland
Reference6 articles.
1. Grabowski, A., Kornilowicz, A., Naumowicz, A.: Mizar in a Nutshell. J. Formal. Reasoning 3(2), 153–245 (2010). https://doi.org/10.6092/issn.1972-5787/1980
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);Adrian De Lon,2020
3. Lecture Notes in Computer Science;Markus Wenzel,1999
4. Bird, S., Loper, E., Klein, E.: Natural Language Processing with Python. O’Reilly Media Inc. (2009)
5. Lecture Notes in Computer Science;Mohan Ganesalingam,2013