Вы здесь

Plumer L.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Intelligent Databases and Interoperability 1992 Cremers A. B., Kniesel G., Lemke T., Plumer L. Lecture Notes in Artificial Intelligence 07.07.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
СТ Expert Systems in Mining 1992 Plumer L. Lecture Notes in Artificial Intelligence 02.10.1992
СТ 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
СТ Automatic Termination Proofs for Prolog Programs Operating on Nonground Terms 1991 Plumer L. Logic Programming: Proc./1991 Intern. Symp. 04.01.1995