Tools

LEADER 01614cam 2200397 a 4500

001 ocm30734853;

003 OCoLC;

005 20141212114700.0;

008 940620s1994 gw a b 100 0 eng ;

010 a| 94028234;

020 a| 3540582770 (Berlin : acid-free paper);

020 a| 0387582770 (New York : acid-free paper);

035 a| (Sirsi) o30734853;

035 a| (OCoLC)30734853;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.5b| .W64 1993;

082 00 a| 004/.01/51132| 20;

111 2 a| Workshop on Computer Science Logicn| (7th :d| 1993 :c| Swansea, Wales)?| UNAUTHORIZED;

245 10 a| Computer science logic :b| 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers /c| Egon Börger, Yuri Gurevich, Karl Meinke, eds.;

300 a| viii, 336 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| 832;

504 a| Includes bibliographical references.;

650 0 a| Computer sciencev| Congresses.=| ^A243325;

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

700 1 a| Börger, E.q| (Egon),d| 1946-=| ^A186646;

700 1 a| Gurevich, Yuri.=| ^A345600;

700 1 a| Meinke, K.q| (Karl)=| ^A358405;

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

596 a| 1;

998 a| 566970;

999 a| QA76.5 .W64 1993w| LCc| 1i| 30372008763150d| 2/8/2013f| 2/8/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 2/8/1995x| BOOKz| JSTACKSo| .STAFF. 0;

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers / Egon Börger, Yuri Gurevich, Karl Meinke, eds.

Author/creator	Workshop on Computer Science Logic
Other author	Börger, E. (Egon), 1946-
Other author	Gurevich, Yuri.
Other author	Meinke, K. (Karl)
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1994.
Description	viii, 336 pages : illustrations ; 24 cm.
Subjects	Computer science--Congresses. Logic, Symbolic and mathematical--Congresses.

Series	Lecture notes in computer science ; 832 Lecture notes in computer science 832. ^A466336
Bibliography note	Includes bibliographical references.
LCCN	94028234
ISBN	3540582770 (Berlin : acid-free paper)
ISBN	0387582770 (New York : acid-free paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.5 .W64 1993	✔ Available	Place Hold

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers / Egon Börger, Yuri Gurevich, Karl Meinke, eds.

Click here for more information about this title

Availability