Proceedings [of the] 11th Annual IEEE Symposium on Logic in Computer Science, July 27-30, 1996, New Brunswick, New Jersey

フォーマット:

図書

責任表示:

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from AT & T Research Bell Laboratories - Lucent Technologies DIMACS, IBM Almaden Research Center

言語:

英語

出版情報:

Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996

形態:

xv, 535 p. : ill. ; 28 cm

著者名:

• Symposium on Logic in Computer Science <DA01987694>
• IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing <DA01037742>
• ACM Special Interest Group for Automata and Computability Theory <DA00183308>
• Association for Symbolic Logic <DA01977227>
• European Association for Theoretical Computer Science <DA00338459>

書誌ID:

BA28891104

ISBN:

9780818674631 [0818674636] (: soft)      
9780780336544 [0780336542] (: case)      
9780780336551 [0780336550] (: microfiche)