| Publication | Date of Publication | Type |
|---|
\(\Omega\)\textsc{mega}: towards a mathematical assistant
Automated Deduction—CADE-14 | 2019-10-01 | Paper |
| scientific article; zbMATH DE number 7015109 (Why is no real title available?) | 2019-02-07 | Paper |
a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution
Journal of the ACM | 2015-09-20 | Paper |
| e-learning logic and mathematics: what we have and what we still need | 2011-07-06 | Paper |
Proof planning with multiple strategies
Artificial Intelligence | 2009-07-17 | Paper |
KI 2004: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2008-03-14 | Paper |
Computer supported mathematics with \(\Omega\)MEGA
Journal of Applied Logic | 2007-02-20 | Paper |
Artificial Intelligence and Soft Computing - ICAISC 2004
Lecture Notes in Computer Science | 2005-04-12 | Paper |
| scientific article; zbMATH DE number 2154400 (Why is no real title available?) | 2005-04-09 | Paper |
| scientific article; zbMATH DE number 2090295 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1980938 (Why is no real title available?) | 2003-09-15 | Paper |
| scientific article; zbMATH DE number 1926639 (Why is no real title available?) | 2003-06-11 | Paper |
| scientific article; zbMATH DE number 1926599 (Why is no real title available?) | 2003-06-11 | Paper |
| scientific article; zbMATH DE number 1748584 (Why is no real title available?) | 2003-04-10 | Paper |
Formal software development in the Verification Support Environment (VSE)
Journal of Experimental & Theoretical Artificial Intelligence | 2002-12-04 | Paper |
An open research problem: strong completeness of R Kowalski's connection graph proof procedure
Logic Journal of the IGPL | 2002-06-04 | Paper |
Knowledge-based proof planning
Artificial Intelligence | 2000-06-04 | Paper |
| scientific article; zbMATH DE number 1302386 (Why is no real title available?) | 2000-01-25 | Paper |
| scientific article; zbMATH DE number 67969 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4155934 (Why is no real title available?) | 1990-01-01 | Paper |
Unification theory
Journal of Symbolic Computation | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4072435 (Why is no real title available?) | 1988-01-01 | Paper |
Unification in abelian semigroups
Journal of Automated Reasoning | 1987-01-01 | Paper |
On unification: Equational theories are not bounded
Journal of Symbolic Computation | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3992942 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3995627 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3871321 (Why is no real title available?) | 1984-01-01 | Paper |
Paramodulated connection graphs
Acta Informatica | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3688778 (Why is no real title available?) | 1979-01-01 | Paper |
