Formalising Basic Topology for Computational Logic in Simple Type Theory

Faculty/Professorship: AI Systems Engineering 
Author(s): Fuenmayor, 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
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
Release Date: 17. October 2022