Inhalt des Dokuments
Publikationen der gesamten Fachgruppe
| Zitatschlüssel | bisping.2016.itp |
|---|---|
| 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 |
| Buchtitel | International Conference on Interactive Theorem Proving |
| Jahr | 2016 |
| Verlag | Springer |
| Serie | LNCS |
Zusatzinformationen / Extras
Direktzugang:
Schnellnavigation zur Seite über Nummerneingabe