Automating Coherent Logic.
Artikel i vetenskaplig tidskrift, 2005

Författare

Thierry Coquand

Göteborgs universitet

Marc Bezem

LPAR 2005

246-260

Ämneskategorier

Datavetenskap (datalogi)