Tools

LEADER 01131cam a2200325 a 4500

001 ocm13008522;

005 20141212095042.0;

008 851213s1986 enka b 000 0 eng ;

010 a| 85031344;

020 a| 0521310997 (pbk.);

035 a| (Sirsi) o13008522;

035 a| (OCoLC)13008522;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.6b| .M684 1986;

082 0 a| 005.12| 19;

100 1 a| Moszkowski, B. C.=| ^A202206;

245 10 a| Executing temporal logic programs /c| B.C. Moszkowski.;

260 a| Cambridge [Cambridgeshire] ;a| New York :b| Cambridge University Press,c| 1986.;

300 a| 125 pages :b| illustrations ;c| 23 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Bibliography: p. 120-125.;

650 0 a| Computer programming.=| ^A33242;

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

919 a| BOOK;

596 a| 1;

998 a| 279580;

999 a| QA76.6 .M684 1986w| LCc| 1i| 30372004076854d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 2/8/1989x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Executing temporal logic programs / B.C. Moszkowski.

Author/creator	Moszkowski, B. C.
Format	Book
Publication Info	Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986.
Description	125 pages : illustrations ; 23 cm
Subjects	Computer programming. Logic, Symbolic and mathematical.

Bibliography note	Bibliography: p. 120-125.
LCCN	85031344
ISBN	0521310997 (pbk.)

Availability

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

Executing temporal logic programs / B.C. Moszkowski.

Click here for more information about this title

Availability