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

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). - .
Библиогр.:с.24-26

ГРНТИ	УДК
27.03.19	510

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

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

Держатели документа:
Государственная публичная научно-техническая библиотека России : г. Москва, ул. 3-я Хорошёвская, д. 17 (Шифр в БД-источнике (KATBW): R/9156/293/95)

Шифр в сводном ЭК: 9c349d38d9006abc341d6d3350776edb

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