INF3170/INF4170 Gruppe 1

Gruppel?rer: Martin Georg Skj?veland

E-post: martige |?| ifi.uio.no

Undervisning:

  • Onsdag kl. 12:15 -14:00, 3A Informatikkbygningen ( i perioden 1. februar til 14. juni)

Links:

  • bussproofs.sty er en fin-fin pakke for ? skrive LK-utledninger i LaTex. Her finner du .sty-fila, dokumentasjon og eksempler. [oppdatert 15.02.06]
Publisert 30. jan. 2006 19:03 - Sist endret 2. mai 2006 17:45