Proceedings
Symposium on Logic in Computer Science, LICS '94, CNAM, Paris, France, July 4-7, 1994 ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, INRIA
Bok Engelsk 1994 IEEE Symposium on Logic in Computer Science
Annen tittel | |
---|---|
Utgitt | Los Alamitos, Calif. : IEEE Computer Society Press , c1994
|
Omfang | XII, 517 s. : fig.
|
Opplysninger | På omslaget: 1989 IEEE Fourth Annual Symposium on Logic in Computer Science.
|
Emner | |
ISBN | 0818619546. - 0818659548. - 0818689544
|