Page Content
Publications Tim Jungnickel
| Citation key | bisping.2016.itp |
|---|---|
| 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 |
| Title of Book | International Conference on Interactive Theorem Proving |
| Year | 2016 |
| Publisher | Springer |
| Series | LNCS |
Zusatzinformationen / Extras
Quick Access:
Schnellnavigation zur Seite über Nummerneingabe
Auxiliary Functions
- Font size:
