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

L.S. Benthem Jutting, van

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Samenvatting

In this chapter the verification of the AUT-QE text is described. Some features of the program and the possibility of excerptiiig are discussed.
Originele taal-2Engels
TitelSelected Papers on Automath
RedacteurenR.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de
Plaats van productieAmsterdam
UitgeverijNorth-Holland Publishing Company
Pagina's805-808
ISBN van geprinte versie0-444-89822-0
StatusGepubliceerd - 1994

Publicatie series

NaamStudies in Logic
Volume133

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.

Citeer dit