Bounded arithmetic, propositional logic, and complexity theory

Uložené v:
Podrobná bibliografia
Hlavný autor: Krajíček, Jan, 1960- (Author)
Médium: E-kniha
Jazyk:English
Vydané: Cambridge : Cambridge University Press, 2004.
Edícia:Encyclopedia of mathematics and its applications 60
Témy:
On-line prístup:Elektronická verzia
ISBN: 9780511529948 (online)
Fyzický popis: xiv, 343 strán.
Tagy: Pridať tag
Žiadne tagy, Buďte prvý kto otaguje tento záznam!

LEADER 01691nam a2200469 a 4500
001 000442930
005 20230505143025.0
006 m d
007 cr bn
008 050817s2004 xxk f 001 0 eng d
FMT
020 |a 9780511529948 (online) 
040 |a SVKKK  |b slo  |c SVKKK  |e AACR2 
041 0 |a eng 
044 |a xxk  |c GB 
072 7 |a 510  |x Všeobecné úvahy o matematike  |2 konspekt 
080 |a 510.25  |2 2001 
080 |a 510.633  |2 2001 
080 |a 510.52  |2 2001 
080 |a (048.8)  |2 2001 
100 1 |a Krajíček, Jan,  |d 1960-  |4 aut 
245 1 0 |a Bounded arithmetic, propositional logic, and complexity theory  |h [elektronický dokument] /  |c Jan Krajíček. 
260 |a Cambridge :  |b Cambridge University Press,  |c 2004. 
300 |a xiv, 343 strán. 
490 1 |a Encyclopedia of mathematics and its applications  |v 60 
504 |a Obsahuje bibliografiu a register 
538 |a Spôsob prístupu: World Wide Web 
650 0 7 |a konštruktívna matematika  |2 SVKKKPH 
650 0 7 |a výroková logika  |2 SVKKKPH 
650 0 7 |a teória zložitosti  |2 SVKKKPH 
655 7 |a monografie  |2 SVKKKPH 
655 7 |a www dokumenty  |2 SVKKKPH 
830 0 |a Encyclopedia of mathematics and its applications  |v 60 
856 4 1 |u http://dx.doi.org/10.1017/CBO9780511529948  |y Elektronická verzia 
910 |a svkkk 
998 |a ER 
BAS
OWN
Z30 1 |l SCK01  |l SCK01  |m EBOOK  |1 SCKHL  |2 EDEP  |b E-knihy  |3 EK.3  |6 1117878  |q 20220623  |5 2720902658  |8 20220623  |f 74  |s Online dokument  |g 000158822  |z 179.60  |t 00000000  |u 0000  |w 000442930  |x 000010 
a02 0 |a 9780511529948 (online) 
090 |g SCKHL  |k E-knihy  |a EK.3  |j 1117878  |i 2720902658  |s Online dokument 
924 |a EB