Perhaps you should try some spelling variations:
"advanced automated theorem coding program" » "advanced automation theorem coding program" (Expand search), "advanced automatic theorem coding program" (Expand search), "advanced automata theory coding program" (Expand search), "advanced automated theorem proving program" (Expand search), "advanced automated theorem using program" (Expand search), "advanced automated theorem cloning program" (Expand search), "advanced automated theorem loading program" (Expand search), "advanced automated theorem cooling programs" (Expand search)
"advanced data coding using program" » "advanced age coding using program" (Expand search), "advanced and coding using program" (Expand search), "advanced data coding housing program" (Expand search), "advanced data coding nursing program" (Expand search), "advanced data coding aging program" (Expand search), "advanced data loading using program" (Expand search), "advanced data modeling using program" (Expand search), "advanced data drying using program" (Expand search), "advanced data cloning using program" (Expand search), "advanced data recording using program" (Expand search), "advanced data crossing using program" (Expand search)

You may be able to get more results by adjusting your search query.

• Performing a fuzzy search may retrieve terms with similar spellings: (("advanced automated theorem coding program") OR ("advanced data coding using program"))~.
• The words AND, OR and NOT may confuse the search; try adding quotes: "((\"advanced automated theorem coding program\") OR (\"advanced data coding using program\"))".
• Removing quotes may allow a broader search: (( advanced automated theorem coding program ) OR ( advanced data coding using program )).
• Adding a wildcard symbol may retrieve word variants: (("advanced automated theorem coding program") OR ("advanced data coding using program"))*.