ProPre A Programming Language with Proofs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1992

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

корректность

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

язык программирования

интуиционистский

Стр.:

P.484-486.

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

Bibliogr.: p.486.

Источник:

Lecture Notes in Artificial Intelligence

Том:

624

Карточка:

В2.11.

Manouri P., Parigot M., Simonot M..

ProPre A Programming Language with Proofs// Lecture Notes in Artificial Intelligence-1992.-Vol. 624.-P.484-486.
Bibliogr.: p.486.

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

PAP4 16