Automating Coherent Logic.
Artikel i vetenskaplig tidskrift, 2005
Författare
Thierry Coquand
Göteborgs universitet
Marc Bezem
LPAR 2005
246-260
Ämneskategorier
Datavetenskap (datalogi)