A Program Inverter for a Functional Language with Equality and Constructors

Вы здесь

Автор:

Gluck R.

Kawabe M.

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

2003

Ключевые слова:

функциональный язык

интервал

Стр.:

P.246-264

Библиография:

Bibliogr.: p.263-264

Источник:

Lecture Notes in Computer Science

Том:

2895

Карточка:

Б3.14, Б3.2.

Gluck R., Kawabe M..

A Program Inverter for a Functional Language with Equality and Constructors// Lecture Notes in Computer Science-2003.-Vol. 2895.-P.246-264
Bibliogr.: p.263-264

Таблица в старой библиотеке:

PAP27 867