Autor der Publikation

Strategy Parallel Use of Model Elimination with Lemmata (System Abstract).

, und . TABLEAUX, Volume 1617 von Lecture Notes in Computer Science, Seite 319-323. Springer, (1999)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Natural Language Presentation and Combination of Automatically Generated Proofs., und . FroCoS, Seite 175-192. (1996)DBFW: A Simple DataBase FrameWork for the Evaluation and Maintenance of Automated Theorem Prover Data., und . CSMR, Seite 185-188. IEEE Computer Society, (1998)Cooperation between Autonomous Operation Services and Object Database Systems in a Heterogeneous Environment., und . DS-5, Volume A-25 von IFIP Transactions, Seite 255-281. North-Holland, (1992)A novel stabilization method for an optical frequency comb generator., , , und . IEEE Trans. Instrumentation and Measurement, 48 (2): 574-577 (1999)Relation-Algebraic Derivation of Spanning Tree Algorithms., , und . MPC, Volume 1422 von Lecture Notes in Computer Science, Seite 23-43. Springer, (1998)p-SETHEO: Strategy Parallelism in Automated Theorem Proving.. TABLEAUX, Volume 1397 von Lecture Notes in Computer Science, Seite 320-324. Springer, (1998)Strategy Parallel Use of Model Elimination with Lemmata (System Abstract)., und . TABLEAUX, Volume 1617 von Lecture Notes in Computer Science, Seite 319-323. Springer, (1999)E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover., und . Australian Joint Conference on Artificial Intelligence, Volume 1747 von Lecture Notes in Computer Science, Seite 231-243. Springer, (1999)An Overview of Recent Advances in Assessing and Mitigating the Face Morphing Attack., und . EUSIPCO, Seite 1017-1021. IEEE, (2018)How to Scale Nested OpenMP Applications on the ScaleMP vSMP Architecture., , , , und . CLUSTER, Seite 29-37. IEEE Computer Society, (2010)