Zoekresultaten
Resultaat 1 - 2 (van 2)
Marc Bezem | R.N. Bol | J.F. Groote Formalizing process algebraic verifications in the calculus of constructions
Non-fictie
Engels | 49 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1995
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