Inhalt des Dokuments
Publications of the Research Group
| Citation key | bisping.2016.AFP |
|---|---|
| Author | 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 |
| Year | 2016 |
| Journal | Archive of Formal Proofs |
| Volume | 2016 |
Zusatzinformationen / Extras
Quick Access:
Schnellnavigation zur Seite über Nummerneingabe