MPG.eBooks - Search Results - "((\"formal (languages OR language) and automatic theory\") or (\"formal (languages OR language) and automatic theorem\"))"

No Results!

Your search - "((\"formal (languages OR language) and automatic theory\") or (\"formal (languages OR language) and automatic theorem\"))" - did not match any resources.

Perhaps you should try some spelling variations:
automatic theorem » automated theorem , automata theory
automatic theory » automation theory , automata theory , axiomatic theory

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

If you are trying to use Boolean operators, they must be ALL CAPS: "((\"formal (languages OR language) AND automatic theory\") or (\"formal (languages OR language) AND automatic theorem\"))".
The words AND, OR and NOT may confuse the search; try adding quotes: "\"((\\"formal (languages OR language) and automatic theory\\") or (\\"formal (languages OR language) and automatic theorem\\"))\"".
Removing quotes may allow a broader search: (( formal (languages OR language) and automatic theory ) or ( formal (languages OR language) and automatic theorem )).