Архив академика А.П.Ершова

Архив

Редакционно-издательская деятельность

Работа в журнале "Theoretical Computer Science"

TCS. Статья С. Акама

Статья

Статья
"Logic programming as constructive logic with strong negation".
Дата: 22.05.1985
Названия статей: "Logic programming as constructive logic with strong negation"
Оригинальный язык документа: английский
Авторы: Сеики Акама

Изображения страниц:


	1	2	3	4	5	6	7	8	9	10	11	12	13	14

Назад
Следующий документ (Письмо)
Предыдущий документ (Сопроводительное письмо)

Switch to English | Поиск | Расширенный поиск | Папки | Темы