2 resultados para First-order logic
em Aberystwyth University Repository - Reino Unido
Resumo:
Ferr?, S. and King, R. D. (2004) A dichotomic search algorithm for mining and learning in domain-specific logics. Fundamenta Informaticae. IOS Press. To appear
Resumo:
M. Hieber, I. Wood: Asymptotics of perturbations to the wave equation. In: Evolution Equations, Lecture Notes in Pure and Appl. Math., 234, Marcel Dekker, (2003), 243-252.
