Research Catalog

Proceedings

Title: Proceedings / Symposium on Logic in Computer Science.
Author: Symposium on Logic in Computer Science.
Publication: Washington, D.C. : IEEE Computer Society Press, 1986-

Items in the Library & Off-site

Filter by

Search by Year

17 Items

Item details
Status	Vol/Date	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	2005 v. 20	Text	Request in advance	JSP 92-265 2005 v. 20	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	2004 v. 19	Text	Request in advance	JSP 92-265 2004 v. 19	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	2003 v. 18	Text	Request in advance	JSP 92-265 2003 v. 18	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	2002 v. 17	Text	Request in advance	JSP 92-265 2002 v. 17	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	2001 v. 16	Text	Request in advance	JSP 92-265 2001 v. 16	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	2000 v. 15	Text	Request in advance	JSP 92-265 2000 v. 15	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	1999 v. 14	Text	Request in advance	JSP 92-265 1999 v. 14	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	1998 v. 13	Text	Request in advance	JSP 92-265 1998 v. 13	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	1997 v. 12	Text	Request in advance	JSP 92-265 1997 v. 12	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	1996 v. 11	Text	Request in advance	JSP 92-265 1996 v. 11	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	1995 v. 10	Text	Request in advance	JSP 92-265 1995 v. 10	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	1994 v. 9	Text	Request in advance	JSP 92-265 1994 v. 9	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	1993 v. 8	Text	Request in advance	JSP 92-265 1993 v. 8	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	1992 v. 7	Text	Request in advance	JSP 92-265 1992 v. 7	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	1991 v. 6	Text	Request in advance	JSP 92-265 1991 v. 6	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	1987 v. 2	Text	Request in advance	JSP 92-265 1987 v. 2	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	1986 v. 1	Text	Request in advance	JSP 92-265 1986 v. 1	Offsite

Holdings

Location

Schwarzman Building - Main Reading Room 315

Format

Call Number

JSP 92-265

Library Has

1986,1987,6(1991)-20(2005).

Details

Additional Authors

Publication Date

[1st] (1986)-

Description

v. : ill.; 28 cm.

Alternative Title

Proc. - Symp. Logic Comput. Sci.
Proceedings - Symposium on Logic in Computer Science
Logic in computer science
IEEE Symposium on Logic in Computer Science
Proceedings of the annual IEEE Symposium on Logic in Computer Science

Subjects

Note

Published: Los Alamitos, CA, 1990- .

Issued By (note)

Sponsored by: the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science, 1986- .

Call Number

JSP 92-265

ISSN

1043-6871

LCCN

89641304

OCLC

NYPG92-S6730

Conference

Symposium on Logic in Computer Science.

Title

Proceedings / Symposium on Logic in Computer Science.

Imprint

Washington, D.C. : IEEE Computer Society Press, 1986-

Current Frequency

Annual

Issued By

Sponsored by: the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science, 1986- .

Added Author

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.

Abbreviated Title

Proc. - Symp. Logic Comput. Sci.

Cover Title

IEEE Symposium on Logic in Computer Science

Other Title

Proceedings of the annual IEEE Symposium on Logic in Computer Science

Research Call Number

JSP 92-265

View in Legacy Catalog