Reasoning About Plural Entities in a Temporal Logic

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

OriginalsprogEngelsk
BogserieNatural and Formal Languages
Vol/bindS.7
StatusUdgivet - 1989
Eksternt udgivetJa

Bibliografisk note

Projektrapport fra Aalborg Universitetscenter Projektrapport fra Aalborg Universitetscenter

ID: 167127008