Specification and Proof in Membership Equational Logic

Вы здесь

Автор:

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

Вид:

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

Год:

1997

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

Стр.:

P.67-92.

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

Bibliogr.: p.91-92

Источник:

Том:

1214

Карточка:

Б2.1, Б3.51.

Bouhoula A., Jouannaud J. -P., Meseguer J..

Specification and Proof in Membership Equational Logic// Lecture Notes in Computer Science-1997.-Vol. 1214.-P.67-92.
Bibliogr.: p.91-92

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

PAP16 423