Formalising Basic Topology for Computational Logic in Simple Type Theory
Faculty/Professorship: | AI Systems Engineering |
Author(s): | Fuenmayor, David ![]() |
Title of the compilation: | Intelligent Computer Mathematics : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings |
Editors: | Buzzard, Kevin; Kutsia, Temur |
Conference: | 15th International Conference, CICM 2022, September 19–23, 2022, Tbilisi, Georgia |
Publisher Information: | Cham : Springer |
Year of publication: | 2022 |
Pages: | 56-74 |
ISBN: | 978-3-031-16681-5 978-3-031-16680-8 |
Series ; Volume: | Lecture Notes in Computer Science ; 13467 |
Language(s): | English |
DOI: | 10.1007/978-3-031-16681-5_4 |
Peer Reviewed: | Ja |
International Distribution: | Ja |
Type: | Conferenceobject |
URI: | https://fis.uni-bamberg.de/handle/uniba/55968 |
Release Date: | 17. October 2022 |

originated at the
University of Bamberg
University of Bamberg