Tools

LEADER 01938cam 2200469Ia 4500

001 ocm61320925;

003 OCoLC;

005 20141211183559.0;

008 050819s2005 gw 101 0 eng d;

010 a| 2005930337;

016 7 a| 9756834032| GyFmDB;

020 a| 3540282319 (pbk.);

020 a| 9783540282310;

035 a| (Sirsi) o61320925;

035 a| (OCoLC)61320925;

049 a| EREE;

090 a| QA76.9.L63b| C68 2005;

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

245 10 a| Computer science logic :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,c| 2005.;

300 a| xi, 565 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 3634,x| 0302-9743 ;;

504 a| Includes bibliographical references and index.;

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

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

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

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har050093822c| 72.76 EUR;

938 a| Baker & Taylorb| BKTYc| 95.00d| 95.00i| 3540282319n| 0006556802s| active;

980 a| 2005-10-05b| 95d| 0e| 90.25f| 682783;

596 a| 1;

998 a| 1013383;

999 a| QA76.9.L63 C68 2005w| LCc| 1i| 30372013462194d| 10/31/2005l| JGESm| JOYNERp| $90.25r| Ys| Yt| JGESBKu| 10/14/2005x| BOOKz| JSTACKSo| .STAFF. 0;

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	Book
Publication Info	Berlin ; New York : Springer, 2005.
Description	xi, 565 pages : illustrations ; 24 cm.
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 ; 3634, 0302-9743 ; Lecture notes in computer science 3634. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	2005930337
ISBN	3540282319 (pbk.)
ISBN	9783540282310

Availability

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

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