Search results

*[[Clifton Davis]] *[[Daniel Davis]]

...logic and working up in stages to predicate logic is exploited by (Maier & Warren, 1988), in this case building a Prolog interpreter by successive refinement * Arnold, V.I., ''Ordinary Differential Equations'', R.A. Silverman (ed. and trans.), MIT Press, Cambridge, MA, 1973.