Clote, Peter G.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Computer science logic = 14th International Workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 : proceedings /
by:
Clote, Peter G.; Schwichtenberg, Helmut.; SpringerLink (Online service); Workshop on Computer Science Logic (2000 :)
(Language materials, printed)
Subjects