English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  Temporal Logic: Proceedings of the 1st International Conference on Temporal Logic

Gabbay, D. M., & Ohlbach, H. J. (Eds.). (1994). Temporal Logic: Proceedings of the 1st International Conference on Temporal Logic. Berlin, Germany: Springer.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Gabbay, Dov M.1, Editor
Ohlbach, Hans Jürgen2, Editor           
Affiliations:
1Max Planck Society, ou_persistent13              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121994
 Publication Status: Issued
 Pages: 546
 Publishing info: Berlin, Germany : Springer
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519540
ISBN: 3-540-58241
Other: Local-ID: C1256104005ECAFC-6D740D0CB96D5E46C125615B005D2394-ICTL94
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Bonn, Germany
Start-/End Date: 1994

Legal Case

show

Project information

show

Source

show