ISAR: An Interactive System for Algebraic Implementation Proofs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1992

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

интерактивный

алгебраический

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

Стр.:

P.451-453.

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

Bibliogr.: p.453.

Источник:

Lecture Notes in Artificial Intelligence

Том:

624

Карточка:

В2.11.

Bauer B., Hennicker R..

ISAR: An Interactive System for Algebraic Implementation Proofs// Lecture Notes in Artificial Intelligence-1992.-Vol. 624.-P.451-453.
Bibliogr.: p.453.

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

PAP4 5