Tools

LEADER 01660cam 22004334a 4500

001 ocm41231621;

003 OCoLC;

005 20141212131912.0;

008 990415s1999 gw a b 101 0 eng ;

010 a| 99030760;

015 a| GB99-39300;

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

035 a| (Sirsi) o41231621;

035 a| (OCoLC)41231621;

042 a| pcc;

049 a| EREE;

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

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

111 2 a| CSL '98d| (1998 :c| Brno, Czech Republic)=| ^A788146;

245 10 a| Computer science logic :b| 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings /c| Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.).;

300 a| x, 429 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| 1584;

504 a| Includes bibliographical references and index.;

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

650 4 a| Computer logicv| Congresses.;

700 1 a| Gottlob, G.q| (Georg)=| ^A269304;

700 1 a| Grandjean, E.q| (Etienne)=| ^A88351;

700 1 a| Seyr, Katrin.=| ^A414895;

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

910 a| PromptCat;

980 a| 1999-06-30b| 69d| 3.48e| 57.96f| 970053;

596 a| 1;

998 a| 652765;

999 a| QA76.9.L63 W67 1998w| LCc| 1i| 30372010369103d| 10/3/2002l| JGESm| JOYNERp| $57.96r| Ys| Yt| JGESBKu| 9/28/1999x| BOOKz| JSTACKSo| .STAFF. 0;

Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.).

Author/creator	CSL '98
Other author	Gottlob, G. (Georg)
Other author	Grandjean, E. (Etienne)
Other author	Seyr, Katrin.
Format	Book
Publication Info	Berlin ; New York : Springer, ©1999.
Description	x, 429 pages ; 24 cm.
Subjects	Computer logic--Congresses. Computer logic--Congresses.

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

Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.).

Click here for more information about this title