Format:
XXIV, 334 Seiten
,
Diagramme
ISBN:
3662538253
,
9783662538258
Series Statement:
Lecture notes in computer science 10054
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 978-3-662-53826-5
Language:
English
Subjects:
Computer Science
Keywords:
Computerlinguistik
;
Typentheorie
;
Formale Sprache
;
Formale Grammatik
;
Formale Semantik
;
Mathematische Logik
;
Computerlinguistik
;
Mathematische Logik
;
Computerlinguistik
;
Logische Programmierung
;
Festschrift
;
Konferenzschrift
URL:
http://www.springer.com/