( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
hex-Programs with Existential Quantification.

, , , и . KDPD, том 8439 из Lecture Notes in Computer Science, стр. 99-117. Springer, (2013)

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.

Thomas Thomas

Thomas Baron

Untersuchungen an ungeschädigten und durch Pilzbefall geschädigten Nadelholzbauteilen mit ausgewählten Prüfverfahren. TU Dresden, (2009)

Thomas Harasim

Die Rolle des nucleostemin-Gens in dem Prozess der Ribosomenbiogenese. Uni München, (2009)

Thomas Böttcher

Naturstoffe und ihre Derivate als molekulare Sonden: Identifikation ihrer Angriffsziele und Inhibition der Virulenz in pathogenen Bakterien. Uni München, (2009)

Thomas Potinecke

Methode zur Systematisierung von Teilprozessen in der Produktentwicklung beim Einsatz von CAx-Technologien. Uni Stuttgart, (2009)
 

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

Promoting Modular Nonmonotonic Logic Programs.. ICLP (Technical Communications), том 11 из LIPIcs, стр. 274-279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Exploiting Conjunctive Queries in Description Logic Programs., , , и . ISAIM, (2008)The Answer Set Programming Competition., , , и . AI Magazine, 33 (4): 114-118 (2012)Decomposition of Declarative Knowledge Bases with External Functions., , и . IJCAI, стр. 752-758. (2009)Modular Nonmonotonic Logic Programming Revisited., , , и . ICLP, том 5649 из Lecture Notes in Computer Science, стр. 145-159. Springer, (2009)Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs., , , и . LPNMR, том 5753 из Lecture Notes in Computer Science, стр. 87-100. Springer, (2009)VCWC: A Versioning Competition Workflow Compiler., , , , , , , , , и . LPNMR, том 8148 из Lecture Notes in Computer Science, стр. 233-238. Springer, (2013)ASP-Core-2 Input Language Format., , , , , , , , , и . CoRR, (2019)Semantically Enriched Multi-Modal Routing., , , , , и . Int. J. Intell. Transp. Syst. Res., 14 (1): 20-35 (2016)Exact Methods for Extended Rotating Workforce Scheduling Problems., , , , и . ICAPS, стр. 519-527. AAAI Press, (2019)