Franklin

Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29 - July 2, 1997, Warsaw, Poland [electronic resource]. organized by Warsaw University ; sponsored by IEEE Technical Committee on Mathematical Foundations of Computing IEEE Computer Society ; in cooperation with the Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, The Association for Symbolic Logic, The European Association for Theoretical Computer Science.

Other Title:
1997 IEEE 12th Annual Symposium on Logic in Computer Science
Twelfth Annual IEEE Symposium on Logic in Computer Science
12th Annual IEEE Symposium on Logic in Computer Science
Logic in Computer Science
Also known as: LICS'97
Logic in Computer Science, 1997, LICS '97, proceedings, 12th Annual IEEE Symposium on.
Publication:
Los Alamitos, Calif. : IEEE Computer Society Press, c1997.
Conference Name:
Symposium on Logic in Computer Science (12th : 1997 : Warsaw, Poland)
Format/Description:
Conference/Event
Book
xiv, 447 p. : ill.
Subjects:
Computer science -- Mathematics -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
System Details:
Mode of access: World Wide Web.
Notes:
"IEEE Computer Society Order number"--T.p. verso.
"IEEE Order Plan catalog number 97CB36092"--T.p. verso.
Includes bibliographical references and index.
Contributor:
IEEE Xplore (Online service)
IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
ISBN:
0818679255 (paper)
9780818679254 (paper)
0818679271 (microfiche)
9780818679278 (microfiche)
0818679263 (case)
9780818679261 (case)
OCLC:
37396825
Access Restriction:
Restricted for use by site license.
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy