( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Non-Classical Logics in Satisfiability Modulo Theories.

, , , и . TABLEAUX, том 14278 из Lecture Notes in Computer Science, стр. 24-36. Springer, (2023)

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.

Graham Rawson

Michael Bode

Le groupe international de sociétés: le système de conflit de lois en droit comparé français et allemand. HU Berlin, (2009)

Michael Liecke

Subnationale Clusterpolitik: die Biotechnologiepolitik deutscher Länder im Vergleich. Uni München, (2009)

Michael Schoierer

NS-Diktatur, Anomie und Demokratisierung Westdeutschlands. Uni Augsburg, (2007)

Michael Krug

X-ray crystallographic analysis of the archaeal transcriptional regulator TrmB and development of a graphical user interface for the monochromatic diffraction data processing software XDS. Uni Konstanz, (2009)
 

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

SAT-Based Subsumption Resolution., , , и . CADE, том 14132 из Lecture Notes in Computer Science, стр. 190-206. Springer, (2023)The Rapid Software Verification Framework., , , , , и . FMCAD, стр. 255-260. IEEE, (2022)Scaling CheckMate for Game-Theoretic Security., , , , и . LPAR, том 100 из EPiC Series in Computing, стр. 222-231. EasyChair, (2024)On Evaluating Theorem Provers., и . ARCADE@CADE, стр. 1-10. (2021)CheckMate: Automated Game-Theoretic Security Reasoning., , , , и . CCS, стр. 1407-1421. ACM, (2023)Superposition with Delayed Unification., , и . CoRR, (2024)Lemmas: Generation, Selection, Application., , , и . TABLEAUX, том 14278 из Lecture Notes in Computer Science, стр. 153-174. Springer, (2023)Superposition with Delayed Unification., , и . CADE, том 14132 из Lecture Notes in Computer Science, стр. 23-40. Springer, (2023)Directed Graph Networks for Logical Reasoning (Extended Abstract)., и . PAAR+SC²@IJCAR, том 2752 из CEUR Workshop Proceedings, стр. 109-119. CEUR-WS.org, (2020)Optimal Transport for Super Resolution Applied to Astronomy Imaging., и . EUSIPCO, стр. 1971-1975. IEEE, (2022)