Computer science logic : 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Peter G. Clote, Helmut Schwichtenberg (eds.)
Bok Engelsk 2000 Workshop on Computer Science Logic
| Utgitt | Berlin : Springer , c2000
|
|---|---|
| Omfang | XIII, 541 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540678956
|
