01383nam a22003737a 4500 000035601 CZ-PrVSE 19980611000000.0 980602s1986 gw ||||| eng | 0-387-16783-8 (Springer, New York) 3-540-16783-8 (Springer, Berlin) ABA006 cze ABA006 ABA006 eng gw 519.2 519.2GRU Mathematical foundations of computer science 1986 : proceedings / edited by J. Gruska, B. Rovan and J. Wiedermann Berlin ; Heidelberg ; New York : Springer, 1986 IX, 650, : obr. Lecture notes in computer science ; 233 Lit. matematické metody ph229474 czenas matematické teorie sborníky fd163935 czenas mathematical methods eczenas Rovan, Branislav edt Wiedermann, Juraj edt Gruska, Jozef edt Symposium on Mathematical foundations of computer science (12 : 1986 : Bratislava, Czechoslovakia) Lecture notes in computer science 001146874 PDPZ2 F158267 PC=2977/87 3142071839 20030807 519.2GRU 81 UEP01 BOOK Knihovna Žižkov depoz. 2 na 1 měsíc UEP01 20030918