Logical foundations of proof complexity

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Cambridge : Cambridge University Press , 2010
Omfang	XV, 479 s.
Emner	Computational complexity Logic, Symbolic and mathematical Proof theory Bevisteori Vis mer... Kompleksitetsteori Matematisk logikk
Dewey	511.3
ISBN	9780521517294

Biblioteksøk