An Industrial Strength Theorem Prover for a Logic Based on Common Lisp | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1997

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

формальный

верификация

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

Стр.:

P.203-213.

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

Bibliogr.: p.212-213

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

Источник:

IEEE Trans. on Software Engineering

Номер:

4

Том:

23

Карточка:

В2.11, Б2.23.

Kaufmann M., Moore J. S..

An Industrial Strength Theorem Prover for a Logic Based on Common Lisp: Springer// IEEE Trans. on Software Engineering-1997, №4.-Vol. 23.-P.203-213.
Bibliogr.: p.212-213

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

PAP16 618