Logische Grundlagen der Beweiskomplexität von Stephen [gebunden]
95,53 €
The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. Associated with each of many complexity classes are both a two-sorted predicate calculus theory, with induction restricted to concepts in the class, and a propositional proof system.
Jetzt bei Ebay: