Tools

LEADER 01352cam 2200349 a 4500

005 20141212121203.0;

008 950517s1995 ne a b 001 0 eng ;

010 a| 95022191;

020 a| 0792335864 (hb : alk. paper);

035 a| (Sirsi) o32700139;

035 a| (OCoLC)32700139;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| BC199.T4b| O37 1995;

082 00 a| 1602| 20;

100 1 a| Øhrstrøm, Peter.=| ^A369351;

245 10 a| Temporal logic :b| from ancient ideas to artificial intelligence /c| by Peter Øhrstrøm and Per F.V. Hasle.;

300 a| viii, 413 pages :b| illustrations ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Studies in linguistics and philosophy ;v| v. 57;

504 a| Includes bibliographical references (p. 386-404) and index.;

650 0 a| Tense (Logic)=| ^A88808;

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

650 0 a| Time.=| ^A5525;

700 1 a| Hasle, Per F. V.=| ^A369352;

830 0 a| Studies in linguistics and philosophyv| v. 57.=| ^A222675;

596 a| 1;

998 a| 591045;

999 a| BC199.T4 O37 1995w| LCc| 1i| 30372009388460d| 5/5/2009e| 4/22/2003f| 4/22/2009g| 1l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 3/28/1996x| BOOKz| JSTACKSo| .STAFF. 0;

Temporal logic : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F.V. Hasle.

Author/creator	Øhrstrøm, Peter
Other author	Hasle, Per F. V.
Format	Book
Publication Info	Dordrecht ; Boston : Kluwer Academic Publishers, ©1995.
Description	viii, 413 pages : illustrations ; 23 cm.
Subjects	Tense (Logic) Logic, Symbolic and mathematical. Time.

Series	Studies in linguistics and philosophy ; v. 57 Studies in linguistics and philosophy v. 57. ^A222675
Bibliography note	Includes bibliographical references (p. 386-404) and index.
LCCN	95022191
ISBN	0792335864 (hb : alk. paper)

Temporal logic : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F.V. Hasle.

Click here for more information about this title