Вы здесь

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