Formalising Basic Topology for Computational Logic in Simple Type Theory

Fuenmayor, David; Serrano Suárez, Fabián Fernando

doi:10.1007/978-3-031-16681-5_4

Formalising Basic Topology for Computational Logic in Simple Type Theory

Fuenmayor, David; Serrano Suárez, Fabián Fernando
In: Intelligent Computer Mathematics : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings. Buzzard, Kevin; Kutsia, Temur (Eds)
Cham : Springer, 2022. p. 56-74
DOI: 10.1007/978-3-031-16681-5_4

Details

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 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