Zoekresultaten
Resultaat 1 - 1 (van 1)
Olga Tveretina | H. Zantema A proof system and a decision procedure for equality logic
Non-fictie
Engels | 18 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2003
Gedrukt boek