Bounded arithmetic, propositional logic, and complexity theory

Krajíček, Jan

Bounded arithmetic, propositional logic, and complexity theory - Cambridge: Cambridge University Press, 1995 - xiv, 343 p. ; 24 cm.

9780521452052


Computational complexity

511.3 KRA

Powered by Koha