Eighth Annual IEEE Symposium on Logic in Computer Science, June 19-23, 1993, Montreal, Canada : proceedings.

Eighth Annual IEEE Symposium on Logic in Computer Science, June 19-23, 1993, Montreal, Canada : proceedings. - Los Alamitos : IEEE Computer Society Press, 1993. - XII, 434 s. : il. ; 29 cm.

Bibliogr. przy poszczególnych rozdziałach. Indeks.

0818631406


Informatyka--matematyka--konferencje.
Logika symboliczna i matematyczna--konferencje.