|
СТ |
Automatic Termination Proofs for Prolog Programs Operating on Nonground Terms |
1991 |
Plumer L. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
04.01.1995 |
|
СТ |
Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs |
1992 |
Groger G., Plumer L. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
|
СТ |
Expert Systems in Mining |
1992 |
Plumer L. |
|
|
|
Lecture Notes in Artificial Intelligence |
02.10.1992 |
|
СТ |
Knowledge-Based Design of Ergonomic Lighting for Underground Scenarios |
1992 |
Burgard W., Lutttringhaus-Kappel S., Plumer L. |
|
|
|
Lecture Notes in Artificial Intelligence |
08.07.1992 |
|
СТ |
Intelligent Databases and Interoperability |
1992 |
Cremers A. B., Kniesel G., Lemke T., Plumer L. |
|
|
|
Lecture Notes in Artificial Intelligence |
07.07.1992 |
