Zoekresultaten
Resultaat 1 - 1 (van 1)
H. Zantema | J.F. Groote Transforming equality logic to propositional logic
Non-fictie
Engels | 13 pagina's | Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven | 2003
Gedrukt boek