Cover Image

Advances in temporal logic /

Show other versions (1)
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.
Search Result 1
Cover Image
Published 2000
Connect to the full text of this electronic book
Conference Proceeding eBook
Show all versions (2)