First-order unification by structural recursion

MCBRIDE, CONOR

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

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

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

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

Том:

Мова:

english

Журнал:

Journal of Functional Programming

DOI:

10.1017/s0956796803004957

Date:

November, 2003

Файл:

PDF, 140 KB

english, 2003

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

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