Exercise-ch5: Difference between revisions
Jump to navigation
Jump to search
Line 43: | Line 43: | ||
e. ('''hobit'''•''x'')_{ t _13} | e. ('''hobit'''•''x'')_{ t _13} | ||
{Add the semantic types in the blanks. | |||
|type = "{}"} | |||
a. '''hobbit'''_{ (e,t) _5} • ''y''_{ e _5 })_{ t _5} | |||
</quiz> | </quiz> |
Revision as of 23:01, 15 March 2013
Exercises for chapter 5: Simple LRS
New notation
Semantic types