Umfang:
XII, 280 S.
,
Ill., graph. Darst.
,
235 mm x 155 mm
ISBN:
3540751432
,
9783540751434
Serie:
Lecture notes in computer science 4363
Anmerkung:
Literaturangaben
Weitere Ausg.:
Erscheint auch als Online-Ausgabe Logic, Language, and Computation Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 ISBN 9783540751441
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
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