Kommentar: :: Library Catalog

Saved in:

Bibliografiske detaljer
Main Authors:	Bártek, Filip, Bhayat, Ahmed, Coutelier, Robin, Hajdu, Márton, Hetzenberger, Matthias, Hozzová, Petra, Kovács, Laura, Rath, Jakob, Rawson, Michael, Reger, Giles, Schoisswohl, Johannes, Suda, Martin, Voronkov, Andrei
Format:	Recurso digital
Sprog:	engelsk
Udgivet:	Zenodo 2025
Fag:	automated theorem proving
Online adgang:	https://doi.org/10.5281/zenodo.15205674
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Vær først til at give en kommentarø!

Lignende værker