Options
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
Bayer, Jonas; Gonus, Alexey; Benzmüller, Christoph; u. a. (2023): Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation, in: Catherine Dubois, Manfred Kerber, Catherine Dubois, u. a. (Hrsg.), Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings, Cham: Springer Nature Switzerland, S. 69–83, doi: 10.1007/978-3-031-42753-4_5.
Faculty/Chair:
Author:
Title of the compilation:
Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings
Editors:
Dubois, Catherine
Kerber, Manfred
Conference:
16th International Conference, CICM 2023, September 5–8, 2023 ; Cambridge, UK
Publisher Information:
Year of publication:
2023
Pages:
ISBN:
9783031427527
9783031427534
Series ; Volume:
Lecture Notes in Artificial Intelligence ; 14101
Language:
English
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Conferenceobject
Activation date:
September 5, 2023
Permalink
https://fis.uni-bamberg.de/handle/uniba/90343