Tools

LEADER 01381cam a2200373 a 4500

001 ocm28377184;

003 OCoLC;

005 20141212103442.0;

008 930616s1993 nyua b 001 0 eng ;

010 a| 93027846;

020 a| 0387941290 (New York : acid-free paper);

020 a| 3540941290 (Berlin : acid-free paper);

035 a| (Sirsi) o28377184;

035 a| (OCoLC)28377184;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

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

082 00 a| 005.12| 20;

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

245 10 a| Logic for applications /c| Anil Nerode, Richard A. Shore.;

300 a| xvii, 365 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Texts and monographs in computer science;

504 a| Includes bibliographical references (p. 329-354) and indexes.;

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

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

700 1 a| Shore, Richard A.,d| 1946-=| ^A325982;

830 0 a| Texts and monographs in computer science.=| ^A223444;

596 a| 1;

998 a| 499261;

999 a| QA76.63 .N45 1993w| LCc| 1i| 30372008142645d| 2/13/2013e| 5/16/1994f| 2/13/2013g| 1l| JGESm| JOYNERn| 1p| $33.96r| Ys| Yt| JGESBKu| 3/4/1994x| BOOKz| JSTACKSo| .STAFF. 0;

Logic for applications / Anil Nerode, Richard A. Shore.

Author/creator	Nerode, Anil, 1932-
Other author	Shore, Richard A., 1946-
Format	Book
Publication Info	New York : Springer-Verlag, ©1993.
Description	xvii, 365 pages : illustrations ; 24 cm.
Subjects	Logic programming. Logic, Symbolic and mathematical.

Series	Texts and monographs in computer science Texts and monographs in computer science. ^A223444
Bibliography note	Includes bibliographical references (p. 329-354) and indexes.
LCCN	93027846
ISBN	0387941290 (New York : acid-free paper)
ISBN	3540941290 (Berlin : acid-free paper)

Availability

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

Logic for applications / Anil Nerode, Richard A. Shore.

Click here for more information about this title

Availability