Checking Landau's "Grundlagen" in the Automath system : Parts of chapter 3 (Verification)

L.S. Benthem Jutting, van

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Vingerafdruk

Duik in de onderzoeksthema's van 'Checking Landau's "Grundlagen" in the Automath system : Parts of chapter 3 (Verification)'. Samen vormen ze een unieke vingerafdruk.

Computer Science