Zoekresultaten
Resultaat 1 - 1 (van 1)
G.I. Jojgov Incomplete proofs and terms and their use in interactive theorem proving
Non-fictie
Engels | 167 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2004
Gedrukt boek
Resultaat 1 - 1 (van 1)
Non-fictie
Engels | 167 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2004
Gedrukt boek