Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Jörg Flum, Mario Rodríguez-Artalejo (eds.)
Bok Engelsk 1999 Workshop on Computer Science Logic
| Utgitt | Berlin : Springer , c1999
|
|---|---|
| Omfang | XI, 580 s. : ill.
|
| Emner | |
| ISBN | 3540665366
|
