Tools

LEADER 01521cam 22003858a 4500

001 ocm26216722;

003 OCoLC;

005 20141212093914.0;

008 920619s1992 gw a b 100 0 eng ;

010 a| 92023683;

020 a| 354055789X (Berlin);

020 a| 038755789X (New York);

035 a| (Sirsi) o26216722;

035 a| (OCoLC)26216722;

049 a| EREE;

050 00 a| QA75.5b| .W624 1991;

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

111 2 a| Workshop on Computer Science Logicn| (5th :d| 1991 :c| Bern, Switzerland)?| UNAUTHORIZED;

245 10 a| Computer science logic :b| 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings /c| E. Börger, G. Jäger, H. Kleine Büning, M. M. Richter (eds.).;

300 a| viii, 428 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| 626;

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;

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

919 a| BOOK;

596 a| 1;

998 a| 449989;

999 a| QA75.5.W624 1991w| LCc| 1i| 30372006814609d| 2/7/2013f| 2/7/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 2/19/1993x| BOOKz| JSTACKSo| .STAFF. 0;

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings / E. Börger, G. Jäger, H. Kleine Büning, M. M. Richter (eds.).

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

Series	Lecture notes in computer science ; 626 Lecture notes in computer science 626. ^A466336
Bibliography note	Includes bibliographical references.
LCCN	92023683
ISBN	354055789X (Berlin)
ISBN	038755789X (New York)

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings / E. Börger, G. Jäger, H. Kleine Büning, M. M. Richter (eds.).

Click here for more information about this title