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 |

originated at the
University of Bamberg
University of Bamberg