Bibliography
From GusWiki
< Previous records
NedGeuVri94 | detailed view | edit | Google Books | Google Scholar | WorldCat | Amazon
Nederpelt, R.P., Geuvers, J.H., de Vrijer, R.C. 1994: Selected Papers on Automath. Amsterdam: Elsevier Science.
Nederpelt, R.P., Geuvers, J.H., de Vrijer, R.C. 1994: Selected Papers on Automath. Amsterdam: Elsevier Science.
Qed:94 | detailed view | edit | Google Books | Google Scholar
Boyer, R. et al. (1994): The QED Manifesto. Springer-Verlag.
Boyer, R. et al. (1994): The QED Manifesto. Springer-Verlag.
0.5 secs
< Previous records
