Tools

LEADER 02575cam 22005894a 4500

001 ocm50124452;

003 OCoLC;

005 20141212163956.0;

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

008 020628s2002 gw a b 011 0 eng ;

010 a| 2002026826;

016 7 a| 9646845192| GyFmDB;

019 a| 50207586;

020 a| 3540439595 (pt. I : softcover : alk. paper);

020 a| 3540439609 (pt. II : softcover : alk. paper);

035 a| (Sirsi) o50124452;

035 a| (OCoLC)50124452;

040 a| DLCc| DLCd| C$Qd| C#Pd| OHXd| UtOrBLW;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.63b| .C64 2002;

072 7 a| QA2| lcco;

082 00 a| 005.1/152| 21;

245 00 a| Computational logic :b| logic programming and beyond : essays in honour of Robert A. Kowalski /c| Antonis C. Kakas, Fariba Sadri (eds.).;

300 a| 2 volumes :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,x| 0302-9743 ;v| 2407-2408.a| Lecture notes in artificial intelligence;

504 a| Includes bibliographical references and index.;

505 00 g| Part I --;

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

600 10 a| Kowalski, Robert.=| ^A525170;

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

650 0 a| Automatic theorem proving.=| ^A88007;

650 0 a| Logic programming languages.=| ^A316572;

700 1 a| Kakas, Antonis C.=| ^A525171;

700 1 a| Sadri, Fariba,d| 1956-=| ^A525172;

700 1 a| Kowalski, Robert.=| ^A525170;

830 0 a| Lecture notes in computer sciencev| 2407-2408.=| ^A466336;

830 0 a| Lecture notes in computer science.p| Lecture notes in artificial intelligence.=| ^A467263;

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

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

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har025022352c| 73.83 DEM;

980 a| 2002-10-09b| 79d| 4.88e| 75.05f| 91457;

596 a| 1;

998 a| 890092;

999 a| QA76.63 .C64 2002 PART 1w| LCc| 1i| 30372011815096d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERp| $75.05r| Ys| Yt| JGESBKu| 10/25/2002x| BOOKz| JSTACKSo| .STAFF. 0;

999 a| QA76.63 .C64 2002 PART 2w| LCc| 1i| 30372011815104d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERp| $75.96r| Ys| Yt| JGESBKu| 10/25/2002x| BOOKz| JSTACKSo| .STAFF. 0;

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski / Antonis C. Kakas, Fariba Sadri (eds.).

Other author	Kakas, Antonis C.
Other author	Sadri, Fariba, 1956-
Other author	Kowalski, Robert.
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2002.
Description	2 volumes : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Kowalski, Robert. Logic programming. Automatic theorem proving. Logic programming languages.

Series	Lecture notes in computer science, 0302-9743 ; 2407-2408. Lecture notes in artificial intelligence Lecture notes in computer science 2407-2408. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Contents	Part I --
Bibliography note	Includes bibliographical references and index.
Other forms	Also available via the World Wide Web.
LCCN	2002026826
ISBN	3540439595 (pt. I : softcover : alk. paper)
ISBN	3540439609 (pt. II : softcover : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.63 .C64 2002 PART 1	✔ Available	Place Hold
Joyner	General Stacks	QA76.63 .C64 2002 PART 2	✔ Available	Place Hold

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski / Antonis C. Kakas, Fariba Sadri (eds.).

Click here for more information about this title

Availability