Formalising Basic Topology for Computational Logic in Simple Type Theory
Fuenmayor, David; Serrano Suárez, Fabián Fernando (2022): Formalising Basic Topology for Computational Logic in Simple Type Theory, in: Kevin Buzzard, Temur Kutsia, Temur Kutsia, u. a. (Hrsg.), Intelligent Computer Mathematics : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings, Cham: Springer, S. 56–74, doi: 10.1007/978-3-031-16681-5_4.
Faculty/Chair:
Author:
 ; 
Title of the compilation:
Intelligent Computer Mathematics : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings
Editors:
Kutsia, Temur
Conference:
15th International Conference, CICM 2022, September 19–23, 2022 ; Tbilisi, Georgia
Publisher Information:
Year of publication:
2022
Pages:
ISBN:
978-3-031-16681-5
978-3-031-16680-8
Series ; Volume:
Lecture Notes in Computer Science ; 13467
Language:
English
DOI:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Conferenceobject
URI:
Activation date:
October 17, 2022

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/55968