|
|
|
|
| LEADER |
00851nam a2200181 a 4500 |
| 001 |
1388159 |
| 005 |
20171111233351.0 |
| 008 |
010830s2002 gr er b 000 0 gre d |
| 040 |
|
|
|a GrAtEKP. Mathimatiko
|b gre
|e AACR2
|
| 082 |
|
0 |
|2 22
|a 511.3
|
| 100 |
1 |
|
|a Σουλδάτος, Γιάννης
|
| 245 |
1 |
0 |
|a Πολυπλοκότητα αποδείξεων προτασιακού λογισμού=
|b propositional proof complexity/
|c Γιάννης Σουλδάτος
|
| 260 |
|
|
|a Αθήνα:
|b [χ.ό.],
|c 2002
|
| 300 |
|
|
|a 63 σ. ;
|c 30 εκ.
|
| 500 |
|
|
|a Επιβλέπων καθηγητής Γ. Κολέτσος
|
| 504 |
|
|
|a Περιλαμβάνει βιβλιογραφικές αναφορές
|
| 650 |
1 |
7 |
|a Λογική, Συμβολική και μαθηματική
|
| 952 |
|
|
|a GrAtEKP
|b 59cd1cda6c5ad13446100447
|c 998a
|d 945l
|e ΜΔ 511.3 ΣουΓ π 2002
|t 1
|x m
|z Books
|
