Research Catalog

Advances in temporal logic

Title
Advances in temporal logic / edited by Howard Barringer [and others].
Publication
Dordrecht ; Boston : Kluwer Academic Publishers, [2000], ©2000.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.9.L63 A38 2000Off-site

Holdings

Details

Additional Authors
Barringer, Howard, 1951-
Description
ix, 453 pages : illustrations; 25 cm.
Series Statement
Applied logic series ; v. 16
Uniform Title
Applied logic series ; v. 16.
Subject
  • Computer logic > Congresses
  • Temporal databases > Congresses
Note
  • Selected papers from an international conference held in Manchester, UK, in 1997.
Bibliography (note)
  • Includes bibliographical references.
ISBN
0792361490 (acid-free paper)
LCCN
99088586
OCLC
  • 42960608
  • ocm42960608
Owning Institutions
Columbia University Libraries