Tools

LEADER 04239cas 22007697i 4500

001 ssj0002640;

003 WaSeSS;

005 20251212090320.0;

006 m d ;

007 cr n ;

008 100402c19869999cauar s 1 a0eng c;

010 a| 2017202957;

022 0 a| 2575-55282| 1;

029 1 a| AU@b| 000044927051;

029 1 a| AU@b| 000045714346;

029 1 a| NZ1b| 12452032;

029 1 a| NZ1b| 15726096;

029 1 a| AU@b| 000060984807;

035 a| (WaSeSS)ssj0002640;

037 b| IEEE Computer Society Press, 1730 Massachusetts Ave., N.W., Washington, D.C. 20036-1903;

042 a| dlra| pcca| nsdp;

049 a| EREEa| NEHH;

050 4 a| QA75.5b| .S9574a;

082 04 a| 004/.01/51132| 201| https://id.oclc.org/worldcat/ddc/E3y8GdWtkQdjKxkBcDC9GkpPhW;

111 2 a| Symposium on Logic in Computer Science.=| ^A728524;

210 0 a| Proc. - Symp. Logic Comput. Sci.b| (Online);

222 0 a| Proceedings - Symposium on Logic in Computer Scienceb| (Online);

240 10 a| Proceedings (Online)=| ^A728524;

245 10 a| Proceedingsh| [electronic resource] /c| Symposium on Logic in Computer Science.;

246 13 a| Logic in computer science;

246 13 a| LICS;

260 a| Washington, D.C. :b| IEEE Computer Society Press,c| ℗♭1986-;

310 a| Annual;

362 1 a| Began with [1st] (June 16-18, 1986).;

500 a| Published: Los Alamitos, CA, 1990-;

506 a| Available only to authorized users.;

530 a| Also available in print.;

538 a| Mode of access: World Wide Web.;

550 a| 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-<1998>; by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, <1999->.;

583 1 a| digitizedc| 2010h| HathiTrust Digital Libraryl| committed to preserve2| pda5| MiAaHDL;

588 a| Description based on print version record.;

588 a| Latest issue consulted: 21st (Aug. 12-15, 2006).;

650 0 a| Electronic data processingv| Congresses.=| ^A417922;

650 0 a| Computer programmingv| Congresses.=| ^A34403;

650 0 a| Logic, Symbolic and mathematicalv| Congresses.=| ^A39117;

650 0 a| Computer programsx| Correctnessv| Congresses.=| ^A139858;

655 0 a| Electronic journals.=| ^A353035;

710 2 a| IEEE Computer Society.b| Technical Committee on Mathematical Foundations of Computing.=| ^A113485;

710 2 a| Association for Symbolic Logic.1| https://id.oclc.org/worldcat/entity/E39QH7JmpGFfC4tJQFFX7D66CF.=| ^A46576;

710 2 a| ACM Special Interest Group for Automata and Computability Theory.1| https://id.oclc.org/worldcat/entity/E39QQPVp7WrJwmtYbTJJ4yqBJt.=| ^A56401;

710 2 a| European Association for Theoretical Computer Science.=| ^A162992;

710 2 a| IEEE Xplore (Online service)=| ^A534875;

856 40 z| Click here for full textu| http://JW3MH2CM6N.search.serialssolutions.com/?V=1.0&L=JW3MH2CM6N&S=JCs&C=PROCSYMON&T=marc;

947 a| (OCoLC)596437076;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER123;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL79;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC61;

583 1 a| digitizedc| 2010h| HathiTrust Digital Libraryl| committed to preserve2| pda5| MiAaHDL;

596 a| 1 3 4;

998 a| 6452505;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6452505-1001l| JNETm| JOYNERr| Ys| Yt| JNESSJOu| 7/19/2024x| EJOURNALz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6452505-2001l| HSLELECm| HSLr| Ys| Yt| HELECu| 7/19/2024x| EJOURNALz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6452505-3001l| MNETm| JMUSICr| Ys| Yt| MNESSJOu| 7/19/2024x| EJOURNALz| JERESOURCE;

Proceedings / Symposium on Logic in Computer Science.

Author/creator	Symposium on Logic in Computer Science
Format	Electronic
Publication Info	Washington, D.C. : IEEE Computer Society Press, ℗♭1986-
Supplemental Content	Click here for full text
Subjects	Electronic data processing--Congresses. Computer programming--Congresses. Logic, Symbolic and mathematical--Congresses. Computer programs--Correctness. --Congresses.

Other author/creator	IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
Other author/creator	Association for Symbolic Logic. https://id.oclc.org/worldcat/entity/E39QH7JmpGFfC4tJQFFX7D66CF.
Other author/creator	ACM Special Interest Group for Automata and Computability Theory. https://id.oclc.org/worldcat/entity/E39QQPVp7WrJwmtYbTJJ4yqBJt.
Other author/creator	European Association for Theoretical Computer Science.
Other author/creator	IEEE Xplore (Online service)
Uniform title	Proceedings (Online)
Other title	Logic in computer science
Other title	LICS
Frequency	Annual
General note	Published: Los Alamitos, CA, 1990-
Access restriction	Available only to authorized users.
Other forms	Also available in print.
Technical details	Mode of access: World Wide Web.
Issuing body	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-<1998>; by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, <1999->.
Action note	digitized 2010 HathiTrust Digital Library committed to preserve
Action note	digitized 2010 HathiTrust Digital Library committed to preserve
Action note	digitized 2010 HathiTrust Digital Library committed to preserve
Action note	digitized 2010 HathiTrust Digital Library committed to preserve
Source of description	Description based on print version record.
Source of description	Latest issue consulted: 21st (Aug. 12-15, 2006).
Genre/form	Electronic journals.
LCCN	2017202957
ISSN	2575-5528
Stock number	IEEE Computer Society Press, 1730 Massachusetts Ave., N.W., Washington, D.C. 20036-1903

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Proceedings / Symposium on Logic in Computer Science.

Click here for more information about this title

Availability