Inhalt des Dokuments
Publikationen der gesamten Fachgruppe
| Zitatschlüssel | bisping.2016.AFP |
|---|---|
| Autor | Benjamin Bisping and Paul-David Brodmann and Tim Jungnickel and Christina Rickmann and Henning Seidler and Anke Stüber and Arno Wilhelm-Weidner and Kirstin Peters and Uwe Nestmann |
| Jahr | 2016 |
| Journal | Archive of Formal Proofs |
| Jahrgang | 2016 |
Zusatzinformationen / Extras
Direktzugang:
Schnellnavigation zur Seite über Nummerneingabe