Вы здесь

Главная

Revision Specifications by Means of Program

Автор: 
Marek V. W.
Truszczynski M.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1994
Ключевые слова: 
база знаний
спецификация
семантика
логический
программирование
Стр.: 
P.122-136.
Библиография: 
Bibliogr.: p.135-136.
Издательство: 
Springer
Источник: 
Lecture Notes in Artificial Intelligence
Том: 
838
Карточка: 

В2.11.

Marek V. W., Truszczynski M..

Revision Specifications by Means of Program: Springer// Lecture Notes in Artificial Intelligence-1994.-Vol. 838.-P.122-136.
Bibliogr.: p.135-136.

Таблица в старой библиотеке: 
PAP10 51