Tools

LEADER 01642cam a2200385 a 4500

001 ocm31606070;

003 OCoLC;

005 20141212115513.0;

008 941115s1994 gw a b 101 0 eng ;

010 a| 94043960;

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

020 a| 0387587926 (New York);

035 a| (Sirsi) o31606070;

035 a| (OCoLC)31606070;

049 a| EREE;

050 00 a| QA76.63b| I57 1994;

082 00 a| 005.1/12| 20;

111 2 a| International Workshop on Logic Program Synthesis and Transformationn| (4th :d| 1994 :c| Pisa, Italy)=| ^A1216403;

245 10 a| Logic program synthesis and transformation-- Meta-programming in Logic :b| 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings /c| Laurent Fribourg, Franco Turini, (eds.).;

300 a| ix, 450 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| 883;

504 a| Includes bibliographical references and index.;

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

700 1 a| Fribourg, Laurent,d| 1957-=| ^A362869;

700 1 a| Turini, Franco,d| 1949-=| ^A362870;

711 2 a| META '94d| (1994 :c| Pisa, Italy)=| ^A362871;

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

596 a| 1;

998 a| 575041;

999 a| QA76.63 .I57 1994w| LCc| 1i| 30372008929207d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 5/31/1995x| BOOKz| JSTACKSo| .STAFF. 0;

Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings / Laurent Fribourg, Franco Turini, (eds.).

Author/creator	International Workshop on Logic Program Synthesis and Transformation
Other author	Fribourg, Laurent, 1957-
Other author	Turini, Franco, 1949-
Other author	META '94 (1994 : Pisa, Italy)
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1994.
Description	ix, 450 pages : illustrations ; 24 cm.
Subjects	Logic programming--Congresses.

Series	Lecture notes in computer science ; 883 Lecture notes in computer science 883. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	94043960
ISBN	3540587926 (Berlin : acid-free paper)
ISBN	0387587926 (New York)

Availability

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

Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings / Laurent Fribourg, Franco Turini, (eds.).

Click here for more information about this title

Availability