Proceedings
Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, Pa. ; sponsored by: IEEE Technical Committee on Mathematical Foundations of Computing, in cooperation with: Association for Computing Machinery - SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
Bok Engelsk 1990
| Utgitt | Los Alamitos, CA : IEEE Computer Society Press , c1990
|
|---|---|
| Omfang | xvi, 509 s. : fig.
|
| Emner | |
| ISBN | 0818620730. - 0818660732. - 0818690739
|
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
