Zoekresultaten
Resultaat 1 - 2 (van 2)
P.J.L. Cuijpers Hybrid process algebra
Non-fictie
Engels | 276 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2004
Gedrukt boek
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