( en | de | ru )

 

Disambiguierung von "Jakubuv, Jan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Hammering Mizar by Learning Clause Guidance (Short Paper).

, und . ITP, Volume 141 von LIPIcs, Seite 34:1-34:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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.

Dirk Jansen

Temperaturkorrektur von mit dem Falling-Weight-Deflectometer gemessenen Deflexionen auf Asphaltbefestigungen. Uni Duisburg-Essen, (2009)

Tsai-Yu Jansen

Einfluss der Konversion laparoskopischer Operationen auf Tumorwachstum, hepatische Metastasierung und Tumorangiogenese. Uni Heidelberg, (2010)

Matthäus Janczyk

Synthese funktionalisierter Trinukleotide und ihre Anwendung bei der Randomisierung. Uni Greifswald, (2009)

Christoph Janello

Wertschöpfung im digitalisierten Buchmarkt. Uni München, (2010)

Richard Janissen

Biomolecular based nano-manipulation with a combined atomic force microscope and single molecule fluorescence setup. Uni Düsseldorf, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Using Process Calculi for Plan Verification in Multiagent Planning., , und . ICAART (Revised Selected Papers), Volume 9494 von Lecture Notes in Computer Science, Seite 245-261. Springer, (2015)Characteristic Subsets of SMT-LIB Benchmarks., , und . SMT, Volume 2908 von CEUR Workshop Proceedings, Seite 53-63. CEUR-WS.org, (2021)Solving Hard Mizar Problems with Instantiation and Strategy Invention., , und . CoRR, (2024)Generating Multi-Agent Plans by Distributed Intersection of Finite State Machines., , und . ECAI, Volume 263 von Frontiers in Artificial Intelligence and Applications, Seite 1111-1112. IOS Press, (2014)Multiagent Planning by Plan Set Intersection and Plan Verification., , und . ICAART (2), Seite 173-182. SciTePress, (2015)Expressiveness of Generic Process Shape Types., und . TGC, Volume 6084 von Lecture Notes in Computer Science, Seite 103-119. Springer, (2010)Hammering Mizar by Learning Clause Guidance (Short Paper)., und . ITP, Volume 141 von LIPIcs, Seite 34:1-34:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)ProofWatch: Watchlist Guidance for Large Theories in E., , , und . ITP, Volume 10895 von Lecture Notes in Computer Science, Seite 270-288. Springer, (2018)Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery., , und . LPAR, Volume 100 von EPiC Series in Computing, Seite 360-369. EasyChair, (2024)BliStrTune: hierarchical invention of theorem proving strategies., und . CPP, Seite 43-52. ACM, (2017)