Tools

LEADER 01351cam 2200361 a 4500

001 ocm27814136;

003 OCoLC;

005 20141212101925.0;

008 930312s1993 maua b 101 0 eng ;

010 a| 93017020;

015 a| GB93-44545;

020 a| 0262660830;

035 a| (Sirsi) o27814136;

035 a| (OCoLC)27814136;

049 a| EREE;

050 00 a| QA76.63b| .L6323 1993;

082 00 a| 006.32| 20;

245 00 a| Logic programming and non-monotonic reasoning :b| proceedings of the second international workshop /c| edited by Luís Moniz Pereira and Anil Nerode.;

300 a| vii, 494 pages :b| illustrations ;c| 23 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

500 a| Papers presented during the workshop held in Lisbon in June 1993.;

504 a| Includes bibliographical references and index.;

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

650 0 a| Reasoningv| Congresses.=| ^A84332;

700 1 a| Pereira, Luís Moniz.=| ^A287103;

700 1 a| Nerode, Anil,d| 1932-=| ^A270365;

596 a| 1;

998 a| 485455;

999 a| QA76.63 .L6323 1993w| LCc| 1i| 30372007918821d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERp| $35.00r| Ys| Yt| JGESBKu| 10/22/1993x| BOOKz| JSTACKSo| .STAFF. 0;

Logic programming and non-monotonic reasoning : proceedings of the second international workshop / edited by Luís Moniz Pereira and Anil Nerode.

Other author	Pereira, Luís Moniz.
Other author	Nerode, Anil, 1932-
Format	Book
Publication Info	Cambridge, Mass. : MIT Press, ©1993.
Description	vii, 494 pages : illustrations ; 23 cm
Subjects	Logic programming--Congresses. Reasoning--Congresses.

General note	Papers presented during the workshop held in Lisbon in June 1993.
Bibliography note	Includes bibliographical references and index.
LCCN	93017020
ISBN	0262660830

Availability

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

Logic programming and non-monotonic reasoning : proceedings of the second international workshop / edited by Luís Moniz Pereira and Anil Nerode.

Click here for more information about this title

Availability