Материалов:
1 005 021

Репозиториев:
30

Авторов:
761 409

расширенный поиск

On the first order logic of proofs

Яворская Т. Л.

Дата публикации: 2001

Дата публикации в реестре: 2020-03-10T13:30:30Z

Ключевые слова:
On the first order logic of proofs

Тип: Статья

Связанные документы (рекомендация CORE)

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core