Skip to content
Snippets Groups Projects
Commit 21a58247 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

italics

parent 15ab6036
No related branches found
No related tags found
No related merge requests found
......@@ -19,9 +19,9 @@ fragments" to create a series of language models of increasing coverage (of Engl
A language model is a triple of
* a grammar 'G' that defines a language fragment that can be translated,
* a logical system 'L' that acts as the meaning representation, and
* a translation from syntax trees induced by 'G' to formulae in 'L'
* a grammar *G* that defines a language fragment that can be translated,
* a logical system *L* that acts as the meaning representation, and
* a translation from syntax trees induced by *G* to formulae in *L*.
The course resources (course notes, literature, assignments) can be found
[here](http://kwarc.info/teaching/ComSem).
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment