( 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.

Michael Fink

Michael Fink

Michael Fink

Michael Fink

Michael Fink

 

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

From Aardvark to Zorro: A Benchmark for Mammal Image Classification., и . Int. J. Comput. Vis., 77 (1-3): 143-156 (2008)Computing Repairs for Inconsistent DL-programs over EL Ontologies., , и . JELIA, том 8761 из Lecture Notes in Computer Science, стр. 426-441. Springer, (2014)Detecting Ads in Video Streams Using Acoustic and Visual Cues., , и . Computer, 39 (12): 135-137 (2006)Minimal Constraint Violation Probability in Model Predictive Control for Linear Systems., , , и . CoRR, (2024)Comparison of Dynamic Tomato Growth Models for Optimal Control in Greenhouses., , , , , и . CoRR, (2023)Implementation of Linear Model Predictive Control - Tutorial.. CoRR, (2021)Advertisement Detection and Replacement using Acoustic and Visual Repetition., , и . MMSP, стр. 461-466. IEEE, (2006)A model building framework for answer set programming with external computations., , , , , и . Theory Pract. Log. Program., 16 (4): 418-464 (2016)Complexity Results for Checking Equivalence of Stratified Logic Programs., , , и . IJCAI, стр. 330-335. (2007)Considerations on Updates of Logic Programs., , , и . JELIA, том 1919 из Lecture Notes in Computer Science, стр. 2-20. Springer, (2000)