IEEE Computer Society
Logic in Computer Science, Eighth Annual IEEE Symposium on- Proceedings, Montreal, Canada, 1993 - USA IEEE CSP 1993 - 434pp
0 8186 3140 6
Logic in Computer Science, 1993
681.3 IEEE
Logic in Computer Science, Eighth Annual IEEE Symposium on- Proceedings, Montreal, Canada, 1993 - USA IEEE CSP 1993 - 434pp
0 8186 3140 6
Logic in Computer Science, 1993
681.3 IEEE