Determinism and the Origins of Temporal Logic

Peter Øhrstrøm, Torben Braüner, Per Hasle

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

OriginalsprogEngelsk
TitelAdvances in Temporal Logic
RedaktørerBarring, H. ...[et al.] (eds.)
Publikationsdato2000
StatusUdgivet - 2000

Citationsformater