Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

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

A. Wolf, and J. Draeger. TABLEAUX, volume 1617 of Lecture Notes in Computer Science, page 319-323. Springer, (1999)

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. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. -Ing. Joachim Groß University of Stuttgart

Replication Data for: Transferable Anisotropic Mie Potential Force Field for AlkanediolsM. Fleck, S. Darouich, N. Hansen, and J. Groß. Dataset, (2024)Related to: Fleck, Maximilian; Darouich, Samir; Hansen, Niels; Gross, Joachim (2024): Transferable Anisotropic Mie Potential Force Field for Alkanediols. In: The Journal of Physical Chemistry B, 128, 4792-4801. doi: 10.1021/acs.jpcb.4c00962.

PD Dr. phil. Joachim Wündisch University of Stuttgart

Dr. Joachim Pfeiffer University of Stuttgart

Hon. -Prof. Dr. -Ing. Joachim Birk University of Stuttgart

Prof. Dr. -Ing. Joachim Speidel University of Stuttgart

Other publications of authors with the same name

Acquisition of Useful Lemma-Knowledge in Automated Reasoning.J. Draeger. AIMSA, volume 1480 of Lecture Notes in Computer Science, page 230-239. Springer, (1998)Strategy Parallelism and Lemma Evaluation.J. Draeger, and A. Wolf. FLAIRS Conference, page 361-365. AAAI Press, (1999)Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization.J. Draeger, and S. Schulz. FLAIRS Conference, page 345-349. AAAI Press, (2001)Malware Epidemics Effects in a Lanchester Conflict Model.J. Draeger, and S. Öttl. CoRR, (2018)Formalized Risk Assessment for Safety and Security.J. Draeger. CoRR, (2017)Strategy Parallel Use of Model Elimination with Lemmata (System Abstract).A. Wolf, and J. Draeger. TABLEAUX, volume 1617 of Lecture Notes in Computer Science, page 319-323. Springer, (1999)Two simple models of business interruption accumulation risk in cyber insurance.U. Franke, and J. Draeger. CyberSA, page 1-7. IEEE, (2019)Modularisierte Suche in Theorembeweisern.J. Draeger. Technical University Munich, Germany, (1998)Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO.J. Draeger. TABLEAUX, volume 1847 of Lecture Notes in Computer Science, page 431-435. Springer, (2000)