Cover Image

Saved in:
Bibliographic Details
Main Authors: Bayer, Jonas, Benzmüller, Christoph, Buzzard, Kevin, David, Marco, Lamport, Leslie, Matiyasevich, Yuri, Paulson, Lawrence, Schleicher, Dierk, Stock, Benedikt, Zelmanov, Efim
Format: Preprint
Published: 2022
Subjects:
History and Overview
Logic in Computer Science
Online Access:https://arxiv.org/abs/2207.04779
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first

Similar Items