Computer Science Logic
15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Laurent Fribourg
Themen in »Computer Science Logic«
Automat automata complexity lambda calculus logic semantics verification
Stimmen zu »Computer Science Logic«
Details
ISBN: 9783540425540
Verlag: Springer Berlin
Erscheinung: 29.08.2001