Tools

LEADER 01577cam 2200373 a 4500

001 ocm20319017;

005 20141212074819.0;

008 890824s1989 wb a b 100 0 eng ;

010 a| 89021811;

020 a| 038751659X (U.S. : alk. paper) :c| DM57.50 (W. Germany);

035 a| (Sirsi) o20319017;

035 a| (OCoLC)20319017;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.9.M35b| W67 1988;

111 2 a| Workshop on Computer Science Logicn| (2nd :d| 1988 :c| Duisburg, Germany)?| UNAUTHORIZED;

245 10 a| CSL '88 :b| 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings /c| E. Börger, H. Kleine Büning, M.M. Richter (eds.).;

300 a| vi, 399 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

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

504 a| Includes bibliographical references.;

650 0 a| Computer sciencex| Mathematicsv| Congresses.=| ^A248247;

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

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

700 1 a| Kleine Büning, H.q| (Hans)=| ^A236644;

700 1 a| Richter, Michael M.,d| 1938-=| ^A191422;

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

919 a| BOOK;

596 a| 1;

998 a| 356118;

999 a| QA76.9.M35 W67 1988w| LCc| 1i| 30372005461758d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 7/25/1990x| BOOKz| JSTACKSo| .STAFF. 0;

CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).

Author/creator	Workshop on Computer Science Logic
Other author	Börger, E. (Egon), 1946-
Other author	Kleine Büning, H. (Hans)
Other author	Richter, Michael M., 1938-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1989.
Description	vi, 399 pages : illustrations ; 25 cm.
Subjects	Computer science--Mathematics. --Congresses. Logic, Symbolic and mathematical--Congresses.

Series	Lecture notes in computer science ; 385 Lecture notes in computer science 385. ^A466336
Bibliography note	Includes bibliographical references.
LCCN	89021811
ISBN	038751659X (U.S. : alk. paper) :

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.M35 W67 1988	✔ Available	Place Hold

CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).

Click here for more information about this title

Availability