A Direct Proof Procedure for Definite Conceptual Graph Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1995

Ключевые слова:

концептуальный

программа

доказательство

Стр.:

P.158-172

Библиография:

Bibliogr.: p.172

Место издания:

Издательство:

Серия:

Lecture Notes in Artificial Intelligence

Источник:

Conceptual Structures: Applications, Implementation and Theory

Том:

954

Карточка:

Б2.2, Б2.1, В2.1.

Ghosh B. C., Wuwongse V..

A Direct Proof Procedure for Definite Conceptual Graph Programs-Berlin.: Springer// Conceptual Structures: Applications, Implementation and Theory, 1995.-Vol. 954.-P.158-172-(Lecture Notes in Artificial Intelligence).
Bibliogr.: p.172

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

PAP12 603