Advances in temporal logic /

Bibliographic Details
Other Authors:	Barringer, Howard, 1951-
Format:	Book
Language:	English
Published:	Dordrecht ; Boston : Kluwer Academic Publishers, [2000]
Series:	Applied logic series ; v. 16.
Subjects:	Computer logic > Congresses. Temporal databases > Congresses.

Remote Storage