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. 
<br/><br/>Bibliogr. przy poszczególnych rozdziałach. Indeks. 
<br/><br/><label>ISBN: </label>0818631406 
<br/><br/><label>Tematy--Hasło przedmiotowe ogólne (rzeczowe): </label><br/>Informatyka--matematyka--konferencje.<br/>Logika symboliczna i matematyczna--konferencje.