direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen der gesamten Fachgruppe

A Constructive Proof for FLP
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
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang:

Schnellnavigation zur Seite über Nummerneingabe