( en | de | ru )

 

Disambiguierung von "Rawson, Michael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SAT-Based Subsumption Resolution.

, , , und . CADE, Volume 14132 von Lecture Notes in Computer Science, Seite 190-206. Springer, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Graham Rawson

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)

Michael Bernateck

Komplexes Regionales Schmerzsyndrom Typ 1 (M.Sudeck): neue Aspekte zur Symptomatologie, Pathogenese, Diagnostik und Therapie. MedH Hannover, habilitation, (2009)

Michael Schoierer

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

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)
 

Weitere Publikationen von Autoren mit dem selben Namen

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