Proof theory in computer science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 2001 : Proceedings
Mentés helye:
| Alternatív cím(ek): | LNCS 2183 |
|---|---|
| Testületi szerző: | |
| Közreműködő(k): | |
| Formátum: | könyv |
| Nyelv: | angol |
| Megjelenés: |
Berlin [etc.] : Springer,
2001
|
| Sorozat: | Lecture notes in computer science, ISSN 0302-9743 ; 2183 |
| Tárgyszavak: | |
| Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|
| LEADER | cam 2200289 c 4500 | ||
|---|---|---|---|
| 001 | 000151226 | ||
| 005 | 20030318141800.0 | ||
| 008 | 020724s2001 gw a 100 0 eng d | ||
| 020 | |a 3-540-42752-X | ||
| 035 | |a 151226 | ||
| 040 | |a ELTE |b hun | ||
| 041 | 0 | |a eng | |
| 084 | |2 ELTE | ACM CCS | MSC |a F.4.1 | ||
| 111 | 2 | |a PTCS |d 2001 | |
| 245 | 1 | 0 | |a Proof theory in computer science |b International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 2001 : Proceedings |c Reinhard Kahle, Peter Schroeder-Heister [et al.] |
| 246 | 1 | 8 | |a LNCS 2183 |
| 260 | |a Berlin [etc.] |b Springer |c cop. 2001 | ||
| 300 | |a VIII, 238 p. |b ill. |c 24 cm | ||
| 490 | 1 | |a Lecture notes in computer science |x 0302-9743 |v 2183 | |
| 598 | |a könyv | ||
| 650 | 0 | 4 | |a Theory of computation |x Congresses |
| 650 | 0 | 7 | |a számításelmélet |x konferencia |
| 653 | |a konferenciakötet | ||
| 653 | |a tanulmányok | ||
| 700 | 0 | |a Kahle, Reinhard | |
| 700 | 0 | |a Schroeder-Heister, Peter | |
| 830 | 0 | |a Lecture notes in computer science | |
| 850 | |a B2 | ||
| 949 | |b 10004200001956 |k tinfko |l B2_42 |s o |t INFK |x í190 | ||
| 925 | |a Feltöltve | ||