Tools

LEADER 01970cam a22005054a 4500

001 ocm46837038;

003 OCoLC;

005 20141212160106.0;

007 cr un---------;

008 010424s2001 gw a b 101 0 eng ;

010 a| 2001032234;

015 a| GBA1-32358;

016 7 a| 9613871222| GyFmDB;

019 a| 47063636;

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

035 a| (Sirsi) o46837038;

035 a| (OCoLC)46837038;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.63b| .L69 2000;

072 7 a| Q2| lcco;

082 00 a| 005.1/152| 21;

111 2 a| International Workshop on Logic-Based Program Synthesis and Transformation.=| ^A845927;

245 10 a| Logic based program synthesis and transformation :b| 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers /c| Kung-Kiu Lau (ed.).;

246 30 a| LOPSTR 2000;

300 a| viii, 181 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

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

504 a| Includes bibliographical references.;

530 a| Also available via the World Wide Web.;

650 0 a| Logic programmingv| Congresses.=| ^A205684;

700 1 a| Lau, K.-K.q| (Kung-Kiu),d| 1953-=| ^A490150;

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

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2042.htmz| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har010043281c| 70.00 DEM;

980 a| 2001-08-22b| 45d| 2.57e| 42.75f| 884231;

596 a| 1;

998 a| 851092;

999 a| QA76.63 .L69 2000w| LCc| 1i| 30372011198964d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERp| $42.75r| Ys| Yt| JGESBKu| 9/4/2001x| BOOKz| JSTACKSo| .STAFF. 0;

Logic based program synthesis and transformation : 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers / Kung-Kiu Lau (ed.).

Author/creator	International Workshop on Logic-Based Program Synthesis and Transformation
Other author	Lau, K.-K. (Kung-Kiu), 1953-
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2001.
Description	viii, 181 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Logic programming--Congresses.

Portion of title	LOPSTR 2000
Series	Lecture notes in computer science ; 2042 Lecture notes in computer science 2042. ^A466336
Bibliography note	Includes bibliographical references.
Other forms	Also available via the World Wide Web.
LCCN	2001032234
ISBN	3540421270 (pbk. : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.63 .L69 2000	✔ Available	Place Hold

Logic based program synthesis and transformation : 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers / Kung-Kiu Lau (ed.).

Click here for more information about this title

Availability