Formalising Basic Topology for Computational Logic in Simple Type Theory






Faculty/Professorship: AI Systems Engineering 
Author(s): Fuenmayor Pelaez, David  ; Serrano Suárez, Fabián Fernando
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