Zoekresultaten
Resultaat 1 - 2 (van 2)
I. Bethke | P.H. Rodenburg Equational constructor induction
Non-fictie
Engels | 17 pagina's | University of Amsterdam, Amsterdam | 1992
Gedrukt boek
P.H. Rodenburg Interpolation in equational logic
Non-fictie
Engels | 14 pagina's | University of Amsterdam, Programming Research Group, Amsterdam | 1992
Gedrukt boek