Государственная публичная
научно-техническая библиотека России
Основана в 1958 году
ГЛАВНАЯ
НОВЫЙ ПОИСК
РАСШИРЕННЫЙ ПОИСК
А ТАКЖЕ...
ПОМОЩЬ
Приложение для Android
Навигация
Вход
Электронный каталог
страница
из
всего найдено записей: 2,
отображать
10 записей
20 записей
40 записей
Urquhart A. Simplified lower bounds for propositional proofs / A.Urquhart,X.Fu, 1995. - 21 p.
Urquhart A. Simplified lower bounds for propositional proofs / A.Urquhart,X.Fu, 1995. - 21 p.