Zoekresultaten
Resultaat 1 - 2 (van 2)
Erik Barendsen | Marc Bezem Polymorphic extensions of simple type structures
with an application to a bar recursive minimization
Non-fictie
Engels | 61 pagina's | Computing Science Institute, Faculty of Mathematics and Informatics, [Katholieke Universiteit Nijmegen], Nijmegen | 1994
Gedrukt boek
Marc Bezem | J.F. Groote Proving a graph well founded using resolution
Non-fictie
Engels | 11 pagina's | Utrecht University, Department of Philosophy, Utrecht | 1994
Gedrukt boek