Franklin

Proceedings [electronic resource]. Fourth Annual Symposium on Logic in Computer Science / [sponsored by The Technical Committee on Mathematical Foundations of Computing of the IEEE Computer Society].

Publication:
Washington, D.C. : Computer Society Press, [1989]
Format/Description:
Conference/Event
Book
xvi, 402 p. : ill.
Conference Name:
Symposium on Logic in Computer Science (4th : 1989 : Pacific Grove, Calif.)
Status/Location:
Loading...

Options
Location Notes Your Loan Policy

Details

Other Title:
Logic in computer science
Logic in Computer Science, 1989, LICS '89, proceedings, Fourth Annual Symposium on.
Subjects:
Electronic data processing -- Congresses.
Electronic digital computers -- Programming -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
System Details:
Mode of access: World Wide Web.
Notes:
Includes bibliographical references.
Held June 5-8, 1989, Asilomar Conference Center, Pacific Grove, Calif.
Contributor:
IEEE Xplore (Online service)
IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
ISBN:
0818619546 (pbk.)
9780818619540 (pbk.)
0818659548 (microfiche)
9780818659546 (microfiche)
0818689544 (case)
9780818689543 (case)
OCLC:
20307803
Access Restriction:
Restricted for use by site license.