Tools

LEADER 02193cam 2200529Ia 4500

001 ocm74650748;

003 OCoLC;

005 20141211192853.0;

008 061027s2006 gw a 101 0 eng d;

010 a| 2006934988;

016 7 a| 9813840052| GyFmDB;

020 a| 3540482814 (pbk.);

020 a| 9783540482819;

029 0 a| OHXb| har060133480;

029 1 a| YDXCPb| 2492937;

035 a| (Sirsi) o74650748;

035 a| (OCoLC)74650748;

049 a| EREE;

072 7 a| QA2| lcco;

090 a| QA76.63b| .L735 2006;

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

245 10 a| Logic for programming, artificial intelligence, and reasoning :b| 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings /c| Miki Hermann, Andrei Voronkov (eds.).;

246 30 a| LPAR 2006;

300 a| xiii, 588 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,x| 0302-9743 ;v| 4246.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;

650 0 a| Artificial intelligencev| Congresses.=| ^A46484;

700 1 a| Hermann, Miki,d| 1958-=| ^A704431;

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

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

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

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har060133480c| 77.04 EUR;

938 a| Baker & Taylorb| BKTYc| 100.00d| 100.00i| 3540482814n| 0007081902s| active;

938 a| YBP Library Servicesb| YANKn| 2492937;

980 a| 2006-12-27b| 100d| 0e| 95f| 35315;

596 a| 1;

998 a| 1064741;

999 a| QA76.63 .L735 2006w| LCc| 1i| 30372014190588d| 12/14/2018e| 6/7/2018f| 2/13/2013g| 1l| JGESm| JOYNERn| 1p| $95.00r| Ys| Yt| JGESBKu| 1/8/2007x| BOOKz| JSTACKSo| .STAFF. 0;

Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings / Miki Hermann, Andrei Voronkov (eds.).

Author/creator	LPAR (Conference)
Other author	Hermann, Miki, 1958-
Other author	Voronkov, Andrei, 1959-
Format	Book
Publication Info	Berlin ; New York : Springer, ©2006.
Description	xiii, 588 pages : illustrations ; 24 cm.
Subjects	Logic programming--Congresses. Automatic theorem proving--Congresses. Artificial intelligence--Congresses.

Portion of title	LPAR 2006
Series	Lecture notes in computer science, 0302-9743 ; 4246. Lecture notes in artificial intelligence Lecture notes in computer science 4246. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Bibliography note	Includes bibliographical references and index.
LCCN	2006934988
ISBN	3540482814 (pbk.)
ISBN	9783540482819

Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings / Miki Hermann, Andrei Voronkov (eds.).

Click here for more information about this title