Tools

LEADER 02056cam a2200469Ia 4500

001 ocm62462336;

003 OCoLC;

005 20141211185025.0;

008 051202s2005 gw 101 0 eng d;

010 a| 2005936393;

016 7 a| 9770125062| GyFmDB;

020 a| 354030553X (pbk.);

020 a| 9783540305538;

029 0 a| OHXb| har050135353;

035 a| (Sirsi) o62462336;

035 a| (OCoLC)62462336;

049 a| EREE;

090 a| QA76.63b| .L73 2005;

111 2 a| LPAR 2005d| (2005 December 2-6 :c| Montego Bay, Jamaica)?| UNAUTHORIZED;

245 10 a| Logic for programming, artificial intelligence, and reasoning :b| 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings /c| Geoff Sutcliffe, Andrei Voronkov (eds.).;

246 30 a| LPAR 2005;

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

300 a| xiv, 744 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| 3835.a| Lecture notes in artificial intelligence;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

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| Sutcliffe, Geoff.=| ^A613216;

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

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

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

856 41 u| http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3835z| Restricted to SpringerLink subscribers;

994 a| C0b| ERE;

596 a| 1;

998 a| 1027689;

999 a| QA76.63 .L73 2005w| LCc| 1i| 30372012955016d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERp| $111.15r| Ys| Yt| JGESBKu| 2/8/2006x| BOOKz| JSTACKSo| .STAFF. 0;

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings / Geoff Sutcliffe, Andrei Voronkov (eds.).

Author/creator	LPAR 2005
Other author	Sutcliffe, Geoff.
Other author	Voronkov, Andrei, 1959-
Format	Book
Publication Info	Berlin ; New York : Springer, 2005.
Description	xiv, 744 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Logic programming--Congresses. Automatic theorem proving--Congresses. Artificial intelligence--Congresses.

Portion of title	LPAR 2005
Series	Lecture notes in computer science, 0302-9743 ; 3835. Lecture notes in artificial intelligence Lecture notes in computer science 3835. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2005936393
ISBN	354030553X (pbk.)
ISBN	9783540305538

Availability

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

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings / Geoff Sutcliffe, Andrei Voronkov (eds.).

Click here for more information about this title

Availability