Vingerafdruk
Duik in de onderzoeksthema's van 'From deduction graphs to proof nets: boxes and sharing in the graphical presentation of deductions'. Samen vormen ze een unieke vingerafdruk.- Sorteer per
- Gewicht
- Alfabetische volgorde
From deduction graphs to proof nets: boxes and sharing in the graphical presentation of deductions
J.H. Geuvers, I. Loeb
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
3
Citaten
(Scopus)