Slides for second lecture now available

Benutzeravatar
sewe
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 295
Registriert: 16. Jan 2009 14:53
Kontaktdaten:

Slides for second lecture now available

Beitrag von sewe »

The slides for tomorrow's lecture are online already: https://cage.st.informatik.tu-darmstadt ... slides.pdf (You will need to login with your RBG username and password.)

Benutzeravatar
sewe
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 295
Registriert: 16. Jan 2009 14:53
Kontaktdaten:

Re: Slides for second lecture now available

Beitrag von sewe »

Additionally, the interpreters for F1WAE (WAE with first-order funtions) are now available in the SVN: https://cage.st.informatik.tu-darmstadt ... 012-04-19/.

Antworten

Zurück zu „Archiv“