Proceedings /

Bibliographic Details
Corporate Authors:	Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, Association for Symbolic Logic, ACM Special Interest Group for Automata and Computability Theory, European Association for Theoretical Computer Science
Format:	Conference Proceeding
Language:	English
Published:	Washington, D.C. : IEEE Computer Society Press, [1986-]
Subjects:	Electronic data processing > Congresses. Computer programming > Congresses. Logic, Symbolic and mathematical > Congresses. Computer programs > Correctness > Congresses.
Online Access:	Search: Logic in Computer Science ...
Online Availability:

Remote Storage

Holdings details from Remote Storage
Call Number	Status	Get It
Call Number:		QA75.5 .S9574
Notes:		Subscription converted to electronic format.
Library Owns: QA75.5 .S9574		(1st-18th (1986-2003))
QA75.5 .S9574 1st 1986	Available
QA75.5 .S9574 2nd 1987	Available
QA75.5 .S9574 3rd 1988	Available
QA75.5 .S9574 4th 1989	Available
QA75.5 .S9574 5th 1990	Available
QA75.5 .S9574 6th 1991	Available
QA75.5 .S9574 7th 1992	Available
QA75.5 .S9574 8th 1993	Available
QA75.5 .S9574 9th 1994	Available
QA75.5 .S9574 10th 1995	Available
QA75.5 .S9574 11th 1996	Available
QA75.5 .S9574 12th 1997	Available
QA75.5 .S9574 13th 1998	Available
QA75.5 .S9574 14th 1999	Available
QA75.5 .S9574 15th 2000	Available
QA75.5 .S9574 16th 2001	Available
QA75.5 .S9574 17th 2002	Available
QA75.5 .S9574 18th 2003	Available