Proceedings
Eighth Annual IEEE Symposium on Logic in Computer Science, June 19-23, 1993, Montreal, Canada ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with: Association for Computing Machinery-SIGACT ... [et al.] ; with much appreciated support from Center for Pattern Recognition and Machine Intelligence (Montreal) ... [et al.]
Bok Engelsk 1993
Utgitt | Los Alamitos, Calif. : IEEE Computer Society Press , c1993
|
---|---|
Omfang | xii, 434 s. : fig.
|
Opplysninger | Smusstittel: Logic in computer science
|
Emner | |
ISBN | 0818631406. - 0818631414. - 0818631422
|
Proceedings
IEEE Symposium on Logic in Computer Science
Symposium on Logic in Computer Science, L...
Bok · Engelsk · 1994
IEEE Symposium on Logic in Computer Science
Symposium on Logic in Computer Science, L...
Bok · Engelsk · 1994