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

Författare

Thierry Coquand

Göteborgs universitet

Ulf Norell

Chalmers, Data- och informationsteknik, Datavetenskap

FroCos 2005

285-301

Ämneskategorier

Datavetenskap (datalogi)