RISC Forum
Wolfgang.Schreiner, Walther Neuper: Polynomial Arithmetic in Isabelle
| When |
Nov 03, 2014
from 01:30 PM to 02:10 PM |
|---|---|
| Where | Seminar Room pond, RISC |
| Add event to calendar |
vCal
iCal
|