( en | de | ru )

 

Disambiguierung von "Rabe, Florian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal.

, , , und . CoRR, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Florian Rabe

Florian Rabe

Florian Rabe

Karin Rabe

Dominik Rabe

 

Weitere Publikationen von Autoren mit dem selben Namen

An Institutional View on Categorical Logic, , , , und . Int J Software Informatics, 1, Seite 129-152. (2007)Theorem Proving in Dependently-Typed Higher-Order Logic., , und . CADE, Volume 14132 von Lecture Notes in Computer Science, Seite 438-455. Springer, (2023)Integrating Semantic Mathematical Documents and Dynamic Notebooks., , , und . CICM, Volume 11617 von Lecture Notes in Computer Science, Seite 275-290. Springer, (2019)Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation., , und . CICM, Volume 11617 von Lecture Notes in Computer Science, Seite 28-43. Springer, (2019)Logic-Independent Proof Search in Logical Frameworks - (Short Paper)., , , und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 395-401. Springer, (2020)Making Isabelle Content Accessible in Knowledge Representation Formats., , und . TYPES, Volume 175 von LIPIcs, Seite 1:1-1:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Towards Logical Frameworks in the Heterogeneous Tool Set Hets, , , , , und . Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, Volume 7137 von Lecture Notes in Computer Science, Seite 139-159. Springer, (2012)Presenting Mathematical Content With Flexible Elisions, , und . OpenMath/JEM Workshop 2007, (Juni 2007)Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal., , , und . CoRR, (2019)TGView3D: A System for 3-Dimensional Visualization of Theory Graphs., , und . CICM, Volume 12236 von Lecture Notes in Computer Science, Seite 290-296. Springer, (2020)