Zoekresultaten
Resultaat 1 - 2 (van 2)
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
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