Eight annual IEEE symposium on logic in computer science proceedings, June 19-23, 1993, Montreal, Canada
| Yhteisötekijä: | |
|---|---|
| Aineistotyyppi: | Kirja |
| Kieli: | English |
| Julkaistu: |
Los Alamitos
IEEE Computer Society Press
Calif..
|
| Aiheet: |


