Вы здесь
De Waal D. A.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Detecting Unsolvable Queries for Definite Logic Programs | 1998 | Bruynooghe M., Vandecasteele H., De Waal D. A., Denecker M. | Lecture Notes in Computer Science | 13.10.1998 | |||
СТ | Solving Deductive Planning Problems using Program Analysis and Transformation | 1996 | De Waal D. A., Thielscher M. | Lecture Notes in Computer Science | 30.03.1996 |