Tools

LEADER 01573cam 2200397 a 4500

001 ocm37201338;

003 OCoLC;

005 20141212125038.0;

008 970605s1997 gw a b 101 0 eng ;

010 a| 97023265;

015 a| GB97-49533;

019 a| 37553520;

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

035 a| (Sirsi) o37201338;

035 a| (OCoLC)37201338;

049 a| EREE;

050 00 a| QA76.9.L63b| W67 1996;

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

111 2 a| CSL '96d| (1996 :c| Utrecht, Netherlands)=| ^A1220188;

245 10 a| Computer science logic :b| 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers /c| Dirk van Dalen, Marc Bezem (eds.).;

300 a| viii, 471 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| 1258;

504 a| Includes bibliographical references and index.;

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

700 1 a| Dalen, D. vanq| (Dirk),d| 1932-=| ^A635336;

700 1 a| Bezem, M.q| (Marc),d| 1956-=| ^A318159;

711 2 a| CSL '96d| (1996 :c| Utrecht, Netherlands)=| ^A1220188;

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

596 a| 1;

998 a| 626685;

999 a| QA76.9.L63 W67 1996w| LCc| 1i| 30372009726107d| 5/31/1998l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 3/5/1998x| BOOKz| JSTACKSo| .STAFF. 0;

Computer science logic : 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers / Dirk van Dalen, Marc Bezem (eds.).

Author/creator	CSL '96
Other author	Dalen, D. van (Dirk), 1932-
Other author	Bezem, M. (Marc), 1956-
Other author	CSL '96 (1996 : Utrecht, Netherlands)
Format	Book
Publication Info	Berlin ; New York : Springer, ©1997.
Description	viii, 471 pages : illustrations ; 24 cm.
Subjects	Computer logic--Congresses.

Series	Lecture notes in computer science ; 1258 Lecture notes in computer science 1258. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	97023265
ISBN	3540631720 (pbk. : alk. paper)

Computer science logic : 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers / Dirk van Dalen, Marc Bezem (eds.).

Click here for more information about this title