Tools

LEADER 01255cam 2200361 a 4500

001 ocm18136211;

005 20141212055923.0;

008 880610s1988 wb a b 001 0 eng ;

010 a| 88020024;

020 a| 0387194274 (U.S.);

035 a| (Sirsi) o18136211;

035 a| (OCoLC)18136211;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.6b| .P327 1988;

082 0 a| 511.32| 19;

100 1 a| Padawitz, Peter,d| 1953-=| ^A238305;

245 10 a| Computing in Horn clause theories /c| Peter Padawitz.;

300 a| xi, 322 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| EATCS monographs on theoretical computer science ;v| v. 16;

500 a| Includes indexes.;

504 a| Bibliography: p. [307]-316.;

650 0 a| Logic programming.=| ^A204997;

650 0 a| Horn clauses.=| ^A238306;

830 0 a| EATCS monographs on theoretical computer science ;v| v. 16.=| ^A201854;

919 a| BOOK;

596 a| 1;

998 a| 335775;

999 a| QA76.6.P327 1988w| LCc| 1i| 30372005172488d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 1/26/1990x| BOOKz| JSTACKSo| .STAFF. 0;

Computing in Horn clause theories / Peter Padawitz.

Author/creator	Padawitz, Peter, 1953-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1988.
Description	xi, 322 pages : illustrations ; 25 cm.
Subjects	Logic programming. Horn clauses.

Series	EATCS monographs on theoretical computer science ; v. 16 EATCS monographs on theoretical computer science ; v. 16. ^A201854
General note	Includes indexes.
Bibliography note	Bibliography: p. [307]-316.
LCCN	88020024
ISBN	0387194274 (U.S.)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.6.P327 1988	✔ Available	Place Hold

Computing in Horn clause theories / Peter Padawitz.

Click here for more information about this title

Availability