Вы здесь

Pudlak P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Satisfiability - Algorithms and Logic 1998 Pudlak P. Lecture Notes in Computer Science 02.09.1998
СТ How to lie without being (easily) convicted and the lengths of proofs in propositional calculus 1995 Pudlak P., Buss S. R. Lecture Notes in Computer Science Computer Science Logic 29.08.1995
СТ AC Circuit Complexity 1993 Pudlak P. Lecture Notes in Computer Science 16.09.1993