Abstract
| Original language | English |
|---|---|
| Title of host publication | Selected Papers on Automath |
| Editors | R.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de |
| Place of Publication | Amsterdam |
| Publisher | North-Holland Publishing Company |
| Pages | 805-808 |
| ISBN (Print) | 0-444-89822-0 |
| Publication status | Published - 1994 |
Publication series
| Name | Studies in Logic |
|---|---|
| Volume | 133 |
Cite this
}
Checking Landau's "Grundlagen" in the Automath system : Parts of chapter 3 (Verification). / Benthem Jutting, van, L.S.
Selected Papers on Automath. ed. / R.P. Nederpelt; J.H. Geuvers; R.C. Vrijer, de. Amsterdam : North-Holland Publishing Company, 1994. p. 805-808 (Studies in Logic; Vol. 133).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
TY - CHAP
T1 - Checking Landau's "Grundlagen" in the Automath system : Parts of chapter 3 (Verification)
AU - Benthem Jutting, van, L.S.
PY - 1994
Y1 - 1994
N2 - In this chapter the verification of the AUT-QE text is described. Some features of the program and the possibility of excerptiiig are discussed.
AB - In this chapter the verification of the AUT-QE text is described. Some features of the program and the possibility of excerptiiig are discussed.
M3 - Chapter
SN - 0-444-89822-0
T3 - Studies in Logic
SP - 805
EP - 808
BT - Selected Papers on Automath
A2 - Nederpelt, R.P.
A2 - Geuvers, J.H.
A2 - Vrijer, de, R.C.
PB - North-Holland Publishing Company
CY - Amsterdam
ER -