RISC Forum
Dr. Tudor Jebelean: Experiments on Natural-Style Proving using Cylindrical Algebraic Decomposition
| When |
May 22, 2017
from 01:30 PM to 02:00 PM |
|---|---|
| Where | Seminar room castle |
| Add event to calendar |
vCal
iCal
|