Zoekresultaten
Resultaat 1 - 2 (van 2)
M.C.A. Devillers | D. Griffioen A formalization of finite and infinite sequences in PVS
Non-fictie
Engels | 27 pagina's | Katholieke Universiteit Nijmegen, Computing Science Institute, Faculty of Mathematics and Informatics, Nijmegen | 1997
Gedrukt boek
M.C.A. Devillers | D. Griffioen | O. Müller Possibly infinite sequences in theorem provers
a comparative study
Non-fictie
Engels | 15 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1997
Gedrukt boek