UID:
kobvindex_ZLB14708699
Format:
XII, 280 Seiten
,
graph. Darst.
,
24 cm
ISBN:
9783540751434
,
3540751432
Series Statement:
Lecture notes in computer science
Note:
Literaturangaben
,
Text engl.
Language:
English
Keywords:
Sprachverarbeitung
;
Logik
;
Formale Methode
;
Kongress
;
Batumi 〈2005〉
;
Modallogik
;
Kongress
;
Batumi 〈2005〉
;
Berechnungstheorie
;
Logik
;
Kongress
;
Batumi 〈2005〉
;
Kongress
;
Konferenzschrift