Umfang:
1 Online-Ressource (IX, 392 S.)
ISBN:
3540581405
,
0387581405
Serie:
Lecture notes in computer science 813
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Theoretische Informatik
;
Logik
;
Informatik
;
Mathematische Logik
;
Konferenzschrift
;
Konferenzschrift
DOI:
10.1007/3-540-58140-5
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Mehr zum Autor:
Nerode, Anil 1932-