Reasoning about Plural Entities in a Temporal Logic

Publikation: ForskningRapport

Vis graf over relationer

OriginalsprogDansk
Udgivelsesdato2011
UdgivelsesstedAAU, Aalborg
Antal sider7
StatusUdgivet
SerieNatural and Formal Languages
Vol/bind16

ID: 58486924