Вы здесь
On Quasi-Reducibility and Proofs by Induction in Abstract Data Types
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1989
Ключевые слова:
Стр.:
P.57-72.
Библиография:
Bibliogr.: p.71-72.
Место издания:
Карточка:
Б2.33.
Kucherov G. A..
On Quasi-Reducibility and Proofs by Induction in Abstract Data Types-Novosibirsk.// Methods of Theoretical and Experimental Computer Science, 1989.-P.57-72.
Bibliogr.: p.71-72.
Таблица в старой библиотеке:
PAP4 730