Zoekresultaten
Resultaat 1 - 2 (van 2)
Michael Franssen Tools for the construction of correct programs: an overview
Non-fictie
Engels | 33 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1997
Gedrukt boek
Michael Franssen →l⇋P-: a pure type system for first order logic with automated theorem proving
Non-fictie
Engels | 35 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1997
Gedrukt boek