( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
First Neural Conjecturing Datasets and Experiments.

, и . CICM, том 12236 из Lecture Notes in Computer Science, стр. 315-323. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Tsai-Yu Jansen

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

Dirk Jansen

Temperaturkorrektur von mit dem Falling-Weight-Deflectometer gemessenen Deflexionen auf Asphaltbefestigungen. Uni Duisburg-Essen, (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)

Matthäus Janczyk

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

Другие публикации лиц с тем же именем

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