Вы здесь

Главная

Constructive Intensional Negation

Автор: 
Munoz-Hernandez S.
Marino J.
Moreno-Navarro J. J.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2004
Ключевые слова: 
логическое программирование
ограничение
программа
трансформация
Стр.: 
P.39-54
Библиография: 
Bibliogr.: p.53-54
Издательство: 
Springer
Источник: 
Lecture Notes in Computer Science
Том: 
2998
Карточка: 

Б2.14, Б3.21.

Munoz-Hernandez S., Marino J., Moreno-Navarro J. J..

Constructive Intensional Negation: Springer// Lecture Notes in Computer Science-2004.-Vol. 2998.-P.39-54
Bibliogr.: p.53-54

Таблица в старой библиотеке: 
PAP28 592