Umfang:
XII, 280 S. :
,
graph. Darst.
ISBN:
978-3-540-75143-4
,
3-540-75143-2
Serie:
Lecture Notes in Computer Science 4363 : Lecture notes in artificial intelligence
Sprache:
Englisch
Fachgebiete:
Informatik
,
Komparatistik. Außereuropäische Sprachen/Literaturen
Schlagwort(e):
Sprachverarbeitung
;
Logik
;
Formale Methode
;
Modallogik
;
Berechnungstheorie
;
Logik
;
Konferenzschrift
;
Konferenzschrift
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016083504&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA