Tools

LEADER 01820cam a22004574a 4500

001 ocm45310332;

003 OCoLC;

005 20141212145555.0;

008 001103s2000 gw a b 101 0 eng ;

010 a| 00053786;

015 a| GBA0-73013;

019 a| 45437337;

020 a| 3540412859 (softcover : alk. paper);

035 a| (Sirsi) o45310332;

035 a| (OCoLC)45310332;

040 a| DLCc| DLCd| UKMd| UtOrBLW;

042 a| pcc;

049 a| EREE;

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

082 00 a| 005.1/152| 21;

111 2 a| LPAR (Conference)=| ^A1018379;

245 10 a| Logic for programming and automated reasoning :b| 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings /c| Michel Parigot, Andrei Voronkov (eds.).;

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

300 a| xiii, 486 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| 1955.a| Lecture notes in artificial intelligence;

504 a| Includes bibliographical references and index.;

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

650 0 a| Automatic theorem provingv| Congresses.=| ^A24746;

700 1 a| Parigot, Michel,d| 1956-=| ^A469905;

700 1 a| Voronkov, Andrei,d| 1959-=| ^A294233;

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

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

994 a| X0b| ERE;

910 a| PromptCat;

980 a| 2001-02-14b| 73d| 4.16e| 69.35f| 743071;

596 a| 1;

998 a| 786388;

999 a| QA76.63 .L735 2000w| LCc| 1i| 30372010921903d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERp| $69.35r| Ys| Yt| JGESBKu| 2/27/2001x| BOOKz| JSTACKSo| .STAFF. 0;

Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / Michel Parigot, Andrei Voronkov (eds.).

Author/creator	LPAR (Conference)
Other author	Parigot, Michel, 1956-
Other author	Voronkov, Andrei, 1959-
Format	Book
Publication Info	Berlin ; New York : Springer, 2000.
Description	xiii, 486 pages : illustrations ; 24 cm.
Subjects	Logic programming--Congresses. Automatic theorem proving--Congresses.

Series	Lecture notes in computer science ; 1955. Lecture notes in artificial intelligence Lecture notes in computer science 1955. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Bibliography note	Includes bibliographical references and index.
LCCN	00053786
ISBN	3540412859 (softcover : alk. paper)

Availability

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

Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / Michel Parigot, Andrei Voronkov (eds.).

Click here for more information about this title

Availability