LLogic-Based Program SynthesisLogic-Based Program Synthesisde Bernd Fischer, Douglas R. SmithMateriasLogic programmingEdiciones (1)Logic-Based Program Synthesis (2002)AAAI Press · inglés · ISBN 9781577351504Más obras de Bernd FischerBiomedical Image Registration
CClasses of conjugate subgroups in finite solvable groupsClasses of conjugate subgroups in finite solvable groups
PPolynomial Based Iteration Methods for Symmetric Linear SystPolynomial Based Iteration Methods for Symmetric Linear Systems