Полное описание

R/9156/293/95
Urquhart, A. Simplified lower bounds for propositional proofs / A.Urquhart,X.Fu. - Toronto : [s. n.], 1995. - 21 p. : ill. - (Technical report / Univ. of Toronto ; 293/95). - 1000 р. - Текст : непосредственный.
Библиогр.:с.24-26

ГРНТИ	УДК
27.03.19	510
03.91

Рубрики:
Математическая логика

Доп. точки доступа:
Fu, X.

Имеются экземпляры в отделах: всего 3 : ХР (1), (2)
Свободны: ХР (1), (2)
Копия:

Заказать издание
Заказ фрагмента документа ₽