Format:
XII, 280 S.
,
Ill., graph. Darst.
,
235 mm x 155 mm
ISBN:
3540751432
,
9783540751434
Series Statement:
Lecture notes in computer science 4363
Note:
Literaturangaben
Additional Edition:
Erscheint auch als Online-Ausgabe Logic, Language, and Computation Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 ISBN 9783540751441
Language:
English
Subjects:
Computer Science
Keywords:
Sprachverarbeitung
;
Logik
;
Formale Methode
;
Modallogik
;
Berechnungstheorie
;
Logik
;
Sprachverarbeitung
;
Logik
;
Formale Methode
;
Konferenzschrift
URL:
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4363
