Design, Implementation and Application of an Extended Ground Reducibility Test

Вы здесь

Автор:

Bundgen R.

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

Колл. автор:

Univ. Delaware

Вид:

Препринт

Год:

1987

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

индукция

теорема

доказательство

Стр.:

57 p.

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

Bibliogr.: p.56-57.

Место издания:

Newark

Номер:

88-05

Карточка:

В2.11.

Bundgen R..

Design, Implementation and Application of an Extended Ground Reducibility Test-Newark., 1987.-57 p.-(Препринт Univ. Delaware №88-05).
Bibliogr.: p.56-57.

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

PREP1 750