Tilbage til artikeldetaljer
Names, Equations, Relations: Practical Ways to Reason about 'new'
Download
Download PDF