Proof theory in computer science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 2001 : Proceedings

Mentés helye:
Bibliográfiai részletek
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!

IK Kari Könyvtár

Holdings details from IK Kari Könyvtár
Jelzet: Leltári szám: Gyűjtemény: Státusz:
í190 í190 (INF) Informatikai szakgyűjtemény könyv Lejárat: 2024.07.12. 08:30  Előjegyzés, kikérés