Tools

LEADER 02484cam a22005417a 4500

001 ssj0000316899;

003 WaSeSS;

005 20200412081236.0;

006 m d ;

007 cr n ;

008 050707s2005 gw s 101 0 eng d;

010 a| 2005930337;

016 7 a| 9756834032| GyFmDB;

020 a| 3540282319 (pbk.);

024 3 a| 9783540282310;

035 a| (WaSeSS)ssj0000316899;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA76.9.L63b| W67 2005;

072 7 a| QA2| lcco;

082 00 a| 005.1/0151132| 22;

111 2 a| Workshop on Computer Science Logicn| (19th :d| 2005 :c| Oxford, England)?| UNAUTHORIZED;

245 10 a| Computer science logich| [electronic resource] :b| 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings /c| Luke Ong (ed.).;

246 30 a| CSL 2005;

246 30 a| 14th Annual Conference of the EACSL;

246 3 a| Fourteenth Annual Conference of the EACSL;

246 30 a| Conference of the EACSL;

260 a| Berlin ;a| New York :b| Springer,;

300 a| xi, 565 p. :b| ill. ;c| 24 cm.;

440 0 a| Lecture notes in computer science,x| 0302-9743 ;v| 3634;

504 a| Includes bibliographical references and index.;

506 a| Available only to authorized users.;

530 a| Also issued online.;

538 a| Mode of access: World Wide Web;

650 0 a| Computer logicv| Congresses.=| ^A1236883;

655 0 a| Electronic books.=| ^A491897;

710 2 a| European Association for Computer Science Logic.b| Conferencen| (14th :d| 2005 :c| Oxford, England)?| UNAUTHORIZED;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2Fopenurl%3Fgenre%3Dbook%26isbn%3D978-3-540-28231-0;

947 a| (OCoLC)ocm61320925;

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

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

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

596 a| 1 3 4;

998 a| 4024682;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4024682-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4024682-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/1/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4024682-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

Computer science logic 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings / Luke Ong (ed.).

Author/creator	Workshop on Computer Science Logic
Other author	European Association for Computer Science Logic. Conference 2005 : Oxford, England)
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xi, 565 p. : ill. ; 24 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects	Computer logic--Congresses.

Portion of title	CSL 2005
Portion of title	14th Annual Conference of the EACSL
Variant title	Fourteenth Annual Conference of the EACSL
Portion of title	Conference of the EACSL
Series	Lecture notes in computer science, 0302-9743 ; 3634
Bibliography note	Includes bibliographical references and index.
Access restriction	Available only to authorized users.
Other forms	Also issued online.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2005930337
ISBN	3540282319 (pbk.)
Standard identifier#	9783540282310

Availability

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

Computer science logic 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings / Luke Ong (ed.).

Click here for more information about this title

Availability