Tools

LEADER 01863cam a2200469 a 4500

001 ocm55807927;

003 OCoLC;

005 20141212175624.0;

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

008 040702s2004 gw a b 100 0 eng c;

016 7 a| 9712711002| GyFmDB;

020 a| 3540221522 (pbk.);

035 a| (Sirsi) o55807927;

035 a| (OCoLC)55807927;

042 a| pcc;

049 a| EREE;

050 4 a| QA76.9.L63b| P76 2004;

072 7 a| QA2| lcco;

245 00 a| Program development in computational logic :b| a decade of research advances in logic-based program development /c| Maurice Bruynooghe, Kung-Kiu Lau (eds.).;

260 a| Berlin ;a| New York :b| Springer,c| 2004.;

300 a| viii, 538 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. State-of-the-art survey;

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

530 a| Also issued online.;

650 0 a| Logic programming.=| ^A204997;

650 0 a| Computer logic.=| ^A417366;

700 1 a| Bruynooghe, M.q| (Maurice)=| ^A315811;

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

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

830 0 a| Lecture notes in computer science.p| State-of-the-art survey.=| ^A1217921;

856 41 u| http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3049z| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har040072383c| 66.34 EUR;

980 a| 2004-08-25b| 89d| 0e| 84.55f| 441280;

596 a| 1;

998 a| 969955;

999 a| QA76.9.L63 P76 2004w| LCc| 1i| 30372012531692d| 10/8/2004l| JGESm| JOYNERp| $84.55r| Ys| Yt| JGESBKu| 9/9/2004x| BOOKz| JSTACKSo| .STAFF. 0;

Program development in computational logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kung-Kiu Lau (eds.).

Other author	Bruynooghe, M. (Maurice)
Other author	Lau, K.-K. (Kung-Kiu), 1953-
Format	Electronic
Publication Info	Berlin ; New York : Springer, 2004.
Description	viii, 538 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Logic programming. Computer logic.

Series	Lecture notes in computer science. State-of-the-art survey Lecture notes in computer science ; 3049 Lecture notes in computer science 3049. ^A466336 Lecture notes in computer science. State-of-the-art survey. ^A1217921
Other forms	Also issued online.
ISBN	3540221522 (pbk.)

Availability

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

Program development in computational logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kung-Kiu Lau (eds.).

Click here for more information about this title

Availability