DDerived preconditions and their use in program synthesisDerived preconditions and their use in program synthesisde Douglas R. SmithMateriasAutomatic theorem provingEdiciones (1)Derived preconditions and their use in program synthesis (1982)Naval Postgraduate School · inglésMás obras de Douglas R. SmithOn the computational complexity of branch and bound search strategiesThe structure of divide and conquer algorithmsRepresentation of discrete optimization problems by discrete dynamic programs
