IEEE Computer Society
Logic in Computer Science, Thirteenth Annual IEEE Symposium on- Proceedings, Indiana, USA, 1998 - Calif., IEEE Comp.Society 1998 - 538
0 8186 8506 9
Logic in Computer Science
681.3 ACM
Logic in Computer Science, Thirteenth Annual IEEE Symposium on- Proceedings, Indiana, USA, 1998 - Calif., IEEE Comp.Society 1998 - 538
0 8186 8506 9
Logic in Computer Science
681.3 ACM