|
М |
OMDoc - An Open Markup Format for Mathematical Documents [version 1.2] |
2006 |
Kohlhase M. |
Lecture Notes in Computer Science |
|
|
|
28.09.2006 |
|
СТ |
Higher-Order Tableaux |
1995 |
Kohlhase M. |
|
|
|
Lecture Notes in Artificial Intelligence |
02.06.1995 |
|
СТ |
Unification in a Sorted -Calculus with Term Declarations and Function Sorts |
1994 |
Kohlhase M. |
|
|
|
Lecture Notes in Artificial Intelligence |
21.10.1994 |
|
СТ |
Adapting Methods to Novel Tasks in Proof Planning |
1994 |
Huang X., Kerber M., Kohlhase M., Richts J. |
|
|
|
Lecture Notes in Artificial Intelligence |
21.10.1994 |
|
СТ |
Unification in a Lambda-Calculus with Intersection Types |
1993 |
Kohlhase M., Phenning F. |
|
|
|
Logic Programming: Proc./1993 Intern. Symp. |
21.09.1994 |
