Zoekresultaten
Resultaat 1 - 2 (van 2)
J.F. Groote | Jan Springintveld Focus points and convergent process operators
Non-fictie
Engels | 34 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
Jan Springintveld Algorithms for type theory
Non-fictie
Engels | 187 pagina's | Universiteit Utrecht, Faculteit Wijsbegeerte, Utrecht | 1995
Gedrukt boek