Proof-search in type-theoretic languages: an introduction

Didier Galmiche, David J. Pym

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Том:

232

Рік:

2000

Мова:

english

Сторінки:

DOI:

10.1016/s0304-3975(99)00169-3

Файл:

PDF, 264 KB

english, 2000

Виконується конвертація в

Конвертація в не вдалась