internetboekhandel.nl
buttons Home pagina Kassa pagina, Winkelwagentje Contact info Email ons
leeg Home pagina Kassa pagina, Winkelwagentje Contact info Email ons Home pagina Rijks
Boekenweek
Rijks Home pagina Home pagina Kassa pagina, Winkelwagentje Contact info Email ons Besteller 60
 
Nederlands Buitenlands   Alles  Titel  Auteur  ISBN        
Exacte wetenschappen
Exacte wetenschappen/natuurwetenschappen algemeen
Peter Clote,   Jan Krajicek Arithmetic, Proof Theory, and Computational Complexity

Jan Krajicek Peter Clote

Arithmetic, Proof Theory, and Computational Complexity

€ 75.00


This book principally concerns the area of `Logical Complexity Theory`, the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to computational complexity theory. This includes an open problem list of 7 fundamental and 39 technical questions together with a bibliography of references.



Taal / Language : English

Extra informatie: 
Hardback
442 pagina's
Januari 1993
Oxford University Press us


Langere levertijd