Øhrstrøm, Peter.
Temporal logic : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F.V. Hasle.
— Dordrecht ; Boston : Kluwer Academic Publishers, c1995. viii, 413 p. : il. ; 23 cm. — (Studies in linguistics and philosophy ; v. 57)
Incluye referencias bibliográficas (p. 386-404) e índice.
ISBN 0792335864 (hb alk. paper)
|