Zoekresultaten
Resultaat 1 - 4 (van 4)
Johan van Benthem | Hans van Ditmarsch | J.S. Lodder Logica voor informatica
Non-fictie
Nederlands | 360 pagina's | Pearson Addison Wesley, [Amsterdam etc.] | 2003
Gedrukt boek
Olga Tveretina Decision procedures for equality logic with uninterpreted functions
Non-fictie
Engels | 157 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2005
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
Discourses on social software
Non-fictie
Engels | 248 pagina's | Amsterdam University Press, Amsterdam | 2009
Gedrukt boek