TY  - BOOK
ED  - LICS '93
TI  - Eighth Annual IEEE Symposium on Logic in Computer Science, June 19-23, 1993, Montreal, Canada : proceedings
SN  - 0818631406
PY  - 1993///
CY  - Los Alamitos
PB  - IEEE Computer Society Press
KW  - Informatyka
KW  - matematyka
KW  - konferencje
KW  - kaba
KW  - Logika symboliczna i matematyczna
N1  - Bibliogr. przy poszczególnych rozdziałach. Indeks
ER  -