Simplified lower bounds for propositional proofs /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Urquhart, Alasdair., Fu, Xudong.
Médium: Livro
Jazyk:Inglês
Vydáno: Toronto University, 1995.
Edice:Technical report ;
Témata:
Pigeonhole, princípios.
On-line přístup:https://minerva.ufrj.br/F/?func=direct&doc_number=000041926&local_base=UFR01
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!

Podobné jednotky