Zoekresultaten
Resultaat 1 - 7 (van 7)
J.F. Groote | Hans van Maaren Equivalence of the concave optimisation method and d'Agostino's tableaux for propositional logic
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1995
Gedrukt boek
J.F. Groote | Jan Springintveld Focus points and convergent process operators
Non-fictie
Engels | 34 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
J.F. Groote | M.P.A. Sellink Confluence for process verification
Non-fictie
Engels | 37 pagina's | Utrecht University, Department of Philosophy, Utrecht | 1995
Gedrukt boek
D. Dams | J.F. Groote Specification and implementation of components of a →m⇋CRL toolbox
Non-fictie
Engels | 75 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
Hans van Maaren | J.F. Groote | Michiel Rozema Verification of propositional formulae by means of convex and concave transforms
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1995
Gedrukt boek
J.F. Groote Binary decision diagrams for first order predicate logic
Non-fictie
Engels | 23 pagina's | Utrecht University, Department of Philosophy, Utrecht | 1995
Gedrukt boek
Marc Bezem | R.N. Bol | J.F. Groote Formalizing process algebraic verifications in the calculus of constructions
Non-fictie
Engels | 49 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1995
Gedrukt boek