[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki


[ Back to the navigation ]

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
courses:pfl080 [2007/12/10 15:34]
smrz
courses:pfl080 [2007/12/10 15:35]
smrz
Line 10: Line 10:
 ^ Platnost   | od ZS 2007          | ^ Platnost   | od ZS 2007          |
 ^ Souřadnice | Čt 10:40--13:05 SU1 | ^ Souřadnice | Čt 10:40--13:05 SU1 |
 +
  
  
Line 45: Line 46:
 29.11.2007    LECTURE CANCELLED 29.11.2007    LECTURE CANCELLED
  
-06.12.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-07.pdf|"Proofs are Programs" -- Combinatory Categorial Grammar]]+06.12.2007    "Proofs are Programs" -- Combinatory Categorial Grammar
  
-13.12.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-07.pdf|"Using Types to Parse Natural Language" -- Finite Maps -- Red-Black Trees]]+13.12.2007    "Using Types to Parse Natural Language" -- Finite Maps -- Red-Black Trees
  
 ===== Anotace ===== ===== Anotace =====

[ Back to the navigation ] [ Back to the content ]