Fingeraftryk
Dyk ned i forskningsemnerne om 'Computer certified efficient exact reals in Coq'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Robbert Krebbers*, Bas Spitters
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review