Extending Constructive Logic Negation with Types

Susana Munoz-Hernandez, Juan José Moreno-Navarro

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

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

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

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

Том:

246

Рік:

2009

Мова:

english

Сторінки:

DOI:

10.1016/j.entcs.2009.07.022

Файл:

PDF, 376 KB

english, 2009

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

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