Вы здесь

Главная

Solving Deductive Planning Problems using Program Analysis and Transformation

Автор: 
De Waal D. A.
Thielscher M.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1996
Ключевые слова: 
анализ
программа
трансформация
дедуктивный
планирование
Стр.: 
P.189-203.
Библиография: 
Bibliogr.: p.189-203.
Издательство: 
Springer
Источник: 
Lecture Notes in Computer Science
Том: 
1048
Карточка: 

Б3.21, В2.1.

De Waal D. A., Thielscher M..

Solving Deductive Planning Problems using Program Analysis and Transformation: Springer// Lecture Notes in Computer Science-1996.-Vol. 1048.-P.189-203.
Bibliogr.: p.189-203.

Таблица в старой библиотеке: 
PAP14 594