predmeti:ppj:start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
predmeti:ppj:start [2016/04/12 12:53] timotej |
predmeti:ppj:start [2016/04/25 14:54] (current) timotej |
||
|---|---|---|---|
| Line 11: | Line 11: | ||
| - [[Strukture]] (drevesa) | - [[Strukture]] (drevesa) | ||
| - [[Tipi]] (registracije) | - [[Tipi]] (registracije) | ||
| - | - [[CLP(FD)]] | ||
| - [[CLP(R)]] | - [[CLP(R)]] | ||
| + | - [[CLP(FD)]] | ||
| - [[DCG]] | - [[DCG]] | ||
| - [[Denotacijska semantika]] | - [[Denotacijska semantika]] | ||
| - [[Mini ALGOL]] | - [[Mini ALGOL]] | ||
| - [[Dokazovanje pravilnosti]] | - [[Dokazovanje pravilnosti]] | ||
| + | - [[Pomen naravnega jezika]] | ||
predmeti/ppj/start.1460458411.txt.gz · Last modified: 2016/04/12 12:53 by timotej
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: Public Domain
