Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
E. Börger ... [et al.] (eds.)
Bok Engelsk 1993 Workshop on Computer Science Logic
| Utgitt | Berlin : Springer , c1993
|
|---|---|
| Omfang | VIII, 439 s. : fig.
|
| Emner | |
| ISBN | 0387569928. - 3540569928
|
