Logic Activities in Europe
- Yuri Gurevich
ACM SIGACT NEWS |
This is a critical analysis of European logic activities in computer science based on a Fall 1992 European tour sponsored by the Office of Naval Research.
ACM SIGACT NEWS |
This is a critical analysis of European logic activities in computer science based on a Fall 1992 European tour sponsored by the Office of Naval Research.