Inhalt des Dokuments
Publikationen der gesamten Fachgruppe
| Zitatschlüssel | jungnickel.2017.afp |
|---|---|
| Autor | Tim Jungnickel and Lennart Oldenburg and Matthias Loibl |
| Jahr | 2017 |
| ISSN | 2150-914x |
| Journal | Archive of Formal Proofs |
Zusatzinformationen / Extras
Direktzugang:
Schnellnavigation zur Seite über Nummerneingabe