Selected papers on Automath
edited by R.P. Nederpelt ... [et al.]
Bok Engelsk 1994
| Utgitt | Amsterdam : Elsevier , 1994
|
|---|---|
| Omfang | XIX, 1024 s. : ill.
|
| Emner | |
| ISBN | 0444898220
|
edited by R.P. Nederpelt ... [et al.]
Bok Engelsk 1994
edited by R.P. Nederpelt ... [et al.]
Bok Engelsk 1994
