Tools

LEADER 01934cam 22004694a 4500

001 ocm47844720;

003 OCoLC;

005 20141212164026.0;

007 cr un---------;

008 010821s2001 gw a b 101 0 eng ;

010 a| 2001049477;

015 a| GBA1-53932;

019 a| 48025934a| 48698781;

020 a| 3540425543 (pbk. : alk. paper);

035 a| (Sirsi) o47844720;

035 a| (OCoLC)47844720;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.9.L63b| C68 2001;

072 7 a| QA2| lcco;

082 00 a| 005.1/01/51132| 21;

111 2 a| CSL 2001d| (2001 :c| Paris, France)?| UNAUTHORIZED;

245 10 a| Computer science logic :b| 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /c| Laurent Fribourg (ed.).;

260 a| Berlin :a| New York :b| Springer,c| 2001.;

300 a| xii, 614 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 2142;

504 a| Includes bibliographical references and index.;

530 a| Also available via the World Wide Web.;

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

700 1 a| Fribourg, Laurent,d| 1957-=| ^A362869;

710 2 a| European Association for Computer Science Logic.b| Conferencen| (10th :d| 2001 :c| Paris, France)?| UNAUTHORIZED;

830 0 a| Lecture notes in computer sciencev| 2142.=| ^A466336;

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2142.htmz| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

938 a| Otto Harrassowitzb| HARRn| har015028188c| 136.96 DEM;

596 a| 1;

998 a| 890458;

999 a| QA76.9.L63 C68 2001w| LCc| 1i| 30372011789770d| 10/31/2002l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 10/21/2002x| BOOKz| JSTACKSo| .STAFF. 0;

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings / Laurent Fribourg (ed.).

Author/creator	CSL 2001
Other author	Fribourg, Laurent, 1957-
Other author	European Association for Computer Science Logic. Conference 2001 : Paris, France)
Format	Electronic
Publication Info	Berlin : New York : Springer, 2001.
Description	xii, 614 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Computer logic--Congresses.

Series	Lecture notes in computer science ; 2142 Lecture notes in computer science 2142. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also available via the World Wide Web.
LCCN	2001049477
ISBN	3540425543 (pbk. : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.L63 C68 2001	✔ Available	Place Hold

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings / Laurent Fribourg (ed.).

Click here for more information about this title

Availability