SearchTitlesCreatorsVolumePhrases

A B C D E F G H I-J K L M N-O P Q-R S T-V W X-Z
close this section of the libraryO. Ledeniov
View the documentO. Ledeniov The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference - O. Ledeniov and S. Markovitch