Translation-Based Deduction Methods for Modal Logics | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

дедукция

модальный

Стр.:

P.399-408

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

Bibliogr.: p.406-408

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

Серия:

Lecture Notes in Computer Science

Источник:

Advances in Intelligent Computing - IPMU 94

Том:

945

Карточка:

В2.11, Б2.13.

Gasquet O., Herzig A..

Translation-Based Deduction Methods for Modal Logics-Berlin, Heidelberg.// Advances in Intelligent Computing - IPMU 94, 1995.-Vol. 945.-P.399-408-(Lecture Notes in Computer Science).
Bibliogr.: p.406-408

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

PAP13 13