Guardado en:
Detalles Bibliográficos
Autores principales: Bayer, Jonas, Benzmüller, Christoph, Buzzard, Kevin, David, Marco, Lamport, Leslie, Matiyasevich, Yuri, Paulson, Lawrence, Schleicher, Dierk, Stock, Benedikt, Zelmanov, Efim
Formato: Preprint
Publicado: 2022
Materias:
Acceso en línea:https://arxiv.org/abs/2207.04779
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!