Tools

LEADER 01624cam 2200421 a 4500

001 ocm42475780;

003 OCoLC;

005 20141212140026.0;

008 990922s1999 gw a b 101 0 eng ;

010 a| 99048725;

020 z| 354066536 (softcover);

020 a| 3540665366 (pbk.);

035 a| (Sirsi) o42475780;

035 a| (OCoLC)42475780;

042 a| pcc;

049 a| EREE;

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

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

111 2 a| Workshop on Computer Science Logicn| (13th :d| 1999 :c| Madrid, Spain)?| UNAUTHORIZED;

245 10 a| Computer science logic :b| 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings /c| Jörg Flum, Mario Rodrʹiguez-Artalejo (eds.).;

263 a| 9910;

300 a| xi, 580 pages :b| illustrations ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

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

504 a| Includes bibliographical references and index.;

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

700 1 a| Flum, Jörg.=| ^A311237;

700 1 a| Rodríguez Artalejo, M.q| (Mario)=| ^A358956;

711 2 a| CSL '99d| (1999 :c| Madrid, Spain)=| ^A788147;

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

994 a| E0b| ERE;

596 a| 1;

998 a| 702890;

999 a| QA76.9.L63 W67 1999w| LCc| 1i| 30372010595350d| 3/12/2000l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 2/8/2000x| BOOKz| JSTACKSo| .STAFF. 0;

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings / Jörg Flum, Mario Rodrʹiguez-Artalejo (eds.).

Author/creator	Workshop on Computer Science Logic
Other author	Flum, Jörg.
Other author	Rodríguez Artalejo, M. (Mario)
Other author	CSL '99 (1999 : Madrid, Spain)
Format	Book
Publication Info	Berlin ; New York : Springer, ©1999.
Description	xi, 580 pages : illustrations ; 23 cm.
Subjects	Computer logic--Congresses.

Series	Lecture notes in computer science ; 1683 Lecture notes in computer science 1683. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	99048725
ISBN	3540665366 (pbk.)

Availability

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

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings / Jörg Flum, Mario Rodrʹiguez-Artalejo (eds.).

Click here for more information about this title

Availability