Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
Egon Börger, Yuri Gurevich, Karl Meinke (eds.)
Bok Engelsk 1994 Workshop on Computer Science Logic
| Utgitt | Berlin : Springer , c1994
|
|---|---|
| Omfang | VIII, 336 s. : ill.
|
| Emner | Computer science - Congresses
Logic, Symbolic and mathematical - Congresses Matematisk logikk - Databehandling informatikk matematisk logikk |
| ISBN | 0387582770. - 3540582770
|
