Mathematical Proof Between Generations




Faculty/Professorship: AI Systems Engineering 
Author(s): Bayer, Jonas; Benzmüller, Christoph  ; Buzzard, Kevin; David, Marco; Lamport, Leslie; Matiyasevich, Yuri; Paulson, Lawrence; Schleicher, Dierk; Stock, Benedikt; Zelmanov, Efim
Publisher Information: arXiv
Year of publication: 2022
Pages: 1-17
Language(s): English
DOI: 10.48550/ARXIV.2207.04779
Type: Preprint
URI: https://fis.uni-bamberg.de/handle/uniba/54601
Release Date: 13. July 2022