Logikk
Det er flere forskergrupper ved IFI som forsker på logikk.
- Logikk og naturlige språk (LNS)
- Objektorientering, modellering og språk (OMS)
- Presis modellering og analyse (PMA)
Publisert 18. mar. 2011 13:18
- Sist endret 18. mar. 2011 13:27