|
СТ |
A Model Elimination Calculus with Built-in Theories |
1993 |
Baumgartner P. |
|
|
|
Lecture Notes in Computer Science |
12.08.1993 |
|
СТ |
Constraint Model Elimination and a PTTP-Implementation |
1995 |
Baumgartner P., Stolzenburg F. |
|
|
|
Lecture Notes in Artificial Intelligence |
02.06.1995 |
|
СТ |
Evaluation of Technology-based Learning. A Social Science Approach tj Quality Assurance in Education |
1996 |
Baumgartner P., Payr S. |
|
|
|
Труды II Международного конгресса "Образование и информатика" |
03.08.1996 |
|
СТ |
Calculi for Disjunctive Logic Programming |
1997 |
Baumgartner P., Furbach U. |
|
|
|
Logic Programming |
05.03.1998 |
|
М |
Theory Reasoning in Connection Calculi |
1998 |
Baumgartner P. |
Lecture Notes in Artificial Intelligence |
|
|
|
16.01.1999 |
