( en | de | ru )

 

Disambiguierung von "Cruanes, Simon"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model Finding for Recursive Functions in SMT.

, , , und . IJCAR, Volume 9706 von Lecture Notes in Computer Science, Seite 133-151. Springer, (2016)

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.

Marcus Simon

Erstellung und Validierung eines Fragebogens für die Patientenbeurteilung der perioperativen Phase, PPP-Fragebogen. Uni Marburg, (2009)

Christine Simon

Vollblutaggregation beim Hund: Vergleich der Methode nach Born mit einer errechneten Aggregation nach Thrombozytenzählung mittels konventioneller Hämatologiesysteme. Uni Gießen, (2009)

Simon Schilling

Beitrag zur dynamischen Fehlerbaumanalyse ohne Modulbildung und zustandsbasierte Erweiterungen. Uni Wuppertal, (2009)

Simon Hohenester

Zur Bedeutung von Proteinkinasen und Phosphatidylinositol-Kinasen für (anti)-cholestatische und (anti)-apoptotische Effekte von Gallensäuren in der Leberzelle. Uni München, (2009)

Simon Pingel

Retrospektive Analyse potentieller Beeinflussungsmodelle auf die Reoperationsrate nach mechanischem und biologischem Herzklappenersatz. Uni München, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Tool Integration with the Evidential Tool Bus., , , und . VMCAI, Volume 7737 von Lecture Notes in Computer Science, Seite 275-294. Springer, (2013)Faster, Higher, Stronger: E 2.3., , und . CADE, Volume 11716 von Lecture Notes in Computer Science, Seite 495-507. Springer, (2019)Extending a Brainiac Prover to Lambda-Free Higher-Order Logic., , , und . TACAS (1), Volume 11427 von Lecture Notes in Computer Science, Seite 192-210. Springer, (2019)Logtk: A Logic ToolKit for Automated Reasoning and its Implementation.. PAAR@IJCAR, Volume 31 von EPiC Series in Computing, Seite 39-49. EasyChair, (2014)Making Automatic Theorem Provers more Versatile.. ARCADE@CADE, Volume 51 von EPiC Series in Computing, Seite 11-15. EasyChair, (2017)The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract)., , , , und . Specification, Algebra, and Software, Volume 8373 von Lecture Notes in Computer Science, Seite 256-275. Springer, (2014)Satisfiability Modulo Bounded Checking.. CADE, Volume 10395 von Lecture Notes in Computer Science, Seite 114-129. Springer, (2017)Making Higher-Order Superposition Work., , , , , und . CADE, Volume 12699 von Lecture Notes in Computer Science, Seite 415-432. Springer, (2021)Superposition with Structural Induction.. FroCoS, Volume 10483 von Lecture Notes in Computer Science, Seite 172-188. Springer, (2017)The Imandra Automated Reasoning System (System Description)., , , , , , , , und . IJCAR (2), Volume 12167 von Lecture Notes in Computer Science, Seite 464-471. Springer, (2020)