( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbolic Execution Techniques Extended to Systems.

, , , и . ICSEA, стр. 78-85. IEEE Computer Society, (2009)

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.

Stefanie Marczoch

Langzeitverlauf von 200 Patienten mit kraniofazialen und zervikalen Dystonien bis zu 12 Jahre nach der ersten Botulinumtoxin-Behandlung. TU München, (2009)

Valerian Marcinkowski

Moritz Daniel Marcinowski

Ivan Marchesini

André Marchand

 

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

On a Generalised Logicality Theorem., , и . AISC, том 2385 из Lecture Notes in Computer Science, стр. 51-63. Springer, (2002)Special issue on complex systems design and management.. Concurrent Engineering: R&A, 20 (2): 83 (2012)Morpho-logique d'un point de vue de la théorie des topos : application à l'IA symbolique., , , и . JIAF, стр. 80-90. (2023)Emergent Properties in Reactive Systems., , и . APSEC, стр. 273-280. IEEE Computer Society, (2008)Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning., и . CoRR, (2017)Property Preservation along Embedding of Biological Regulatory Networks., , , и . AB, том 5147 из Lecture Notes in Computer Science, стр. 125-138. Springer, (2008)Label Algebras and Exception Handling., , и . Sci. Comput. Program., 23 (2-3): 227-286 (1994)Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces., , и . ICALP, том 198 из LIPIcs, стр. 132:1-132:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Symbolic Execution Techniques Extended to Systems., , , и . ICSEA, стр. 78-85. IEEE Computer Society, (2009)Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction., , , и . Int. J. Approx. Reason., (2018)