Полное описание
> 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)>
Шифр в сводном ЭК: 78accd45f48e75bd6f3a581fcaef1977
Заказ фрагмента документа ₽