Tools

LEADER 01546cam 2200361 a 4500

005 20141212121417.0;

008 950526s1995 gw a b 101 0 eng ;

010 a| 95023973;

020 a| 3540600175 (Berlin : acid-free paper);

020 a| 0387600175 (New York : acid-free paper);

035 a| (Sirsi) o32664671;

035 a| (OCoLC)32664671;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

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

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

111 2 a| Workshop on Computer Science Logicn| (8th :d| 1994 :c| Kazimierz, Puławy, Poland)?| UNAUTHORIZED;

245 10 a| Computer science logic :b| 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers /c| Leszek Pacholski, Jerzy Tiuryn, eds.;

300 a| ix, 541 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| 933;

504 a| Includes bibliographical references (p. 541) and index.;

650 0 a| Computer sciencev| Congresses.=| ^A243325;

650 0 a| Logic, Symbolic and mathematicalv| Congresses.=| ^A39117;

700 1 a| Pacholski, Leszek.=| ^A110264;

700 1 a| Tiuryn, Jerzy.=| ^A375819;

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

596 a| 1;

998 a| 593083;

999 a| QA75.5 .W624 1994w| LCc| 1i| 30372009413979d| 2/7/2013e| 5/22/1996f| 2/7/2013g| 2l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 4/26/1996x| BOOKz| JSTACKSo| .STAFF. 0;

Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / Leszek Pacholski, Jerzy Tiuryn, eds.

Author/creator	Workshop on Computer Science Logic
Other author	Pacholski, Leszek.
Other author	Tiuryn, Jerzy.
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1995.
Description	ix, 541 pages : illustrations ; 24 cm.
Subjects	Computer science--Congresses. Logic, Symbolic and mathematical--Congresses.

Series	Lecture notes in computer science ; 933 Lecture notes in computer science 933. ^A466336
Bibliography note	Includes bibliographical references (p. 541) and index.
LCCN	95023973
ISBN	3540600175 (Berlin : acid-free paper)
ISBN	0387600175 (New York : acid-free paper)

Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / Leszek Pacholski, Jerzy Tiuryn, eds.

Click here for more information about this title