Tools

LEADER 01494cam 2200373 a 4500

001 ocm39123108;

003 OCoLC;

005 20141212130043.0;

008 980508s1998 gw b 101 0 eng ;

010 a| 98022163;

020 a| 3540645705 (softcover : alk. paper);

035 a| (Sirsi) o39123108;

035 a| (OCoLC)39123108;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

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

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

111 2 a| CSL '97d| (1997 :c| Århus, Denmark)=| ^A915349;

245 10 a| Computer science logic :b| 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers /c| Mogens Nielsen, Wolfgang Thomas (eds.).;

260 a| Berlin ;a| New York :b| Springer,c| 1998.;

300 a| viii, 509 pages ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

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

504 a| Includes bibliographical references and index.;

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

700 1 a| Nielsen, M.q| (Mogens),d| 1949-=| ^A370530;

700 1 a| Thomas, Wolfgang,d| 1947-=| ^A353667;

711 2 a| CSL '97d| (1997 :c| Århus, Denmark)=| ^A915349;

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

596 a| 1;

998 a| 636160;

999 a| QA76.9.L63 W67 1997w| LCc| 1i| 30372010260534d| 7/11/1999l| JGESm| JOYNERp| $63.75r| Ys| Yt| JGESBKu| 9/17/1998x| BOOKz| JSTACKSo| .STAFF. 0;

Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen, Wolfgang Thomas (eds.).

Author/creator	CSL '97
Other author	Nielsen, M. (Mogens), 1949-
Other author	Thomas, Wolfgang, 1947-
Other author	CSL '97 (1997 : Århus, Denmark)
Format	Book
Publication Info	Berlin ; New York : Springer, 1998.
Description	viii, 509 pages ; 24 cm.
Subjects	Computer logic--Congresses.

Series	Lecture notes in computer science ; 1414 Lecture notes in computer science 1414. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	98022163
ISBN	3540645705 (softcover : alk. paper)

Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen, Wolfgang Thomas (eds.).

Click here for more information about this title