Equational Inference, Canonical Proofs, and Proof Orderings

Вы здесь

Автор:

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

Вид:

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

Год:

1994

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

Стр.:

P.236-276.

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

Bibliogr.: p.273-276.

Источник:

Номер:

Том:

Карточка:

Б2.13, В2.11.

Bachmair L., Dershowitz N..

Equational Inference, Canonical Proofs, and Proof Orderings// J. of the ACM-1994, №2.-Vol. 41.-P.236-276.
Bibliogr.: p.273-276.

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

ACM3 781