Zoekresultaten
Resultaat 1 - 3 (van 3)
S. Berardi | Marc Bezem | T. Coquand On the computational content of the axiom of choice
Non-fictie
Engels | 22 pagina's | Utrecht Research Institute for Philosophy, Utrecht | 1994
Gedrukt boek
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