Tools

LEADER 02019cam 22004814a 4500

001 ocm42578905;

003 OCoLC;

005 20141212134307.0;

008 990901s1999 gw a b 101 0 eng ;

010 a| 99047217;

015 a| GB99-68888;

019 a| 42622698;

020 a| 3540664920 (softcover : acid-free paper);

035 a| (Sirsi) o42578905;

035 a| (OCoLC)42578905;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.63b| .L73 1999;

082 00 a| 005.1/152| 21;

111 2 a| LPARn| (6th :d| 1999 :c| Tʻbilisi, Georgia)?| UNAUTHORIZED;

245 10 a| Logic for programming and automated reasoning :b| 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings /c| Harald Ganzinger, David McAllester, Andrei Voronkov (eds.).;

246 18 a| LPAR'99;

300 a| xii, 395 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| 1705.a| Lecture notes in artificial intelligence;

500 a| Earlier conferences titled: Logic programming and automated reasoning.;

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| Ganzinger, H.q| (Harald),d| 1950-=| ^A203561;

700 1 a| McAllester, David A.=| ^A428643;

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

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

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

910 a| PromptCat;

980 a| 2000-01-12b| 69d| 3.48e| 57.96f| 106346;

596 a| 1;

998 a| 674439;

999 a| QA76.63 .L73 1999w| LCc| 1i| 30372010646377d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERp| $57.96r| Ys| Yt| JGESBKu| 1/29/2000x| BOOKz| JSTACKSo| .STAFF. 0;

Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings / Harald Ganzinger, David McAllester, Andrei Voronkov (eds.).

Author/creator	LPAR
Other author	Ganzinger, H. (Harald), 1950-
Other author	McAllester, David A.
Other author	Voronkov, Andrei, 1959-
Format	Book
Publication Info	Berlin ; New York : Springer, ©1999.
Description	xii, 395 pages : illustrations ; 24 cm.
Subjects	Logic programming--Congresses. Automatic theorem proving--Congresses.

Spine title	LPAR'99
Series	Lecture notes in computer science ; 1705. Lecture notes in artificial intelligence Lecture notes in computer science 1705. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
General note	Earlier conferences titled: Logic programming and automated reasoning.
Bibliography note	Includes bibliographical references and index.
LCCN	99047217
ISBN	3540664920 (softcover : acid-free paper)

Availability

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

Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings / Harald Ganzinger, David McAllester, Andrei Voronkov (eds.).

Click here for more information about this title

Availability