Princeton University Library Catalog

Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, June 26-29, 1995, San Diego, California / edited by Dextere Kozen ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with Special Interest Group on Automata and Computability Theory of the ACM, Association for Symbolic Logic, European Association for Theoretical Computer Science, with support from AT&T Bell Laboratories ... [et al.].

Author:
Symposium on Logic in Computer Science (10th : 1995 : San Diego, Calif.) [Browse]
Format:
Book
Language:
English
Published/​Created:
[Los Alamitos, Calif: IEEE Computer Society Press, c1995]
Description:
xiii, 518 p. : ill. ; 28 cm.
Notes:
"IEEE catalog number 95CH35768"--T.p. verso.
Bibliographic references:
Includes bibliographical references and index.
Subject(s):
Other title(s):
1995 IEEE 10th Annual Symposium on Logic in Computer Science
ISBN:
  • 0818670509 (pbk)
  • 078032563X (case)
  • 0780329996 (microfiche)
OCLC:
33202549
Related name:
Other views:
Staff view