Computer science logic
14th international workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Gespeichert in:
Verfasser / Beitragende:
Peter G. Clote, Helmut Schwichtenberg, (eds.)
Ort, Verlag, Jahr:
Berlin [etc.] :
Springer,
2000
Beschreibung:
XIII, 541 p. : ill. ; 24 cm
Format:
Buch (Kongress)