Proof Complexity
af Jan (Charles University Krajicek
Bog, Hardback, Engelsk, 2019
Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. Suitable for doctoral students and researchers in mathematics and theoretical computer science.
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- SAXO999,95 kr.Gratis fragtUkendtKøb for 999,95 kr.Køb
- Bogreolen1.428,95 kr.0,00 kr.2-4 ugerKøb for 1.428,95 kr.Køb
- Tales1.429,95 kr.34,95 kr.2-4 ugerKøb for 1.429,95 kr.Køb
- Pling BØGER1.429,95 kr.34,95 kr.2-4 ugerKøb for 1.429,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingHardback
- ISBN9781108416849
- Udgivet28/03/2019
- Udgivet afCambridge University Press
- Længde530 sider
- ForfatterJan (Charles University Krajicek
- GenreBusiness og læring, Computer og IT