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, ed. lit..
- Berlin [etc.] : Springer , cop. 2000 .
- XIII, 541 p. ; 24 cm.
- (Lecture Notes in Computer Science)
; 1862
ISBN 3-540-67895-6
Lógica de computador
LCC QA75.5
ISBN 3-540-67895-6
Lógica de computador
LCC QA75.5