Umfang:
1 Online-Ressource (xiii, 518 pages)
,
illustrations
Ausgabe:
Reproduktion [S.l.] HathiTrust Digital Library Electronic reproduction
ISBN:
0780329996
,
078032563X
,
0818670509
,
9780780329997
,
9780780325630
,
9780818670503
Anmerkung:
Includes bibliographical references and index
,
Use copy Restrictions unspecified star MiAaHDL
,
Electronic reproduction
,
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe Symposium on Logic in Computer Science (10th : 1995 : San Diego, Calif.) Tenth Annual IEEE Symposium on Logic in Computer Science Los Alamitos, Calif : IEEE Computer Society Press, ©1995
Sprache:
Englisch
Schlagwort(e):
Konferenzschrift
URL:
http://purl.oclc.org/DLF/benchrepro0212
Mehr zum Autor:
Kozen, Dexter 1951-
