Connecting a Logical Framework to a First-Order Logic Prover.
Paper i proceeding, 2005

Författare

[Person 9f83931a-6434-47f7-8a9d-6bff10706aaa not found]

Göteborgs universitet

[Person bbe845a7-8a82-4c3a-a1eb-39528a4b6e39 not found]

[Person 1bb3cdd5-ed43-4482-b62e-ddb936d312ef not found]

Chalmers, Data- och informationsteknik, Datavetenskap

FroCos 2005

285-301

Ämneskategorier

Datavetenskap (datalogi)

Mer information

Skapat

2017-10-07