Abstract Object Theory




Faculty/Professorship: AI Systems Engineering 
Author(s): Kirchner, Daniel
Title of the Journal: Archive of Formal Proofs
ISSN: 2150-914x
Year of publication: 2022
Pages: 392
Language(s): English
URL: https://www.isa-afp.org/entries/AOT.html
Peer Reviewed: Ja
International Distribution: Ja
Open Access Journal: Ja
Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/57615
Release Date: 13. January 2023