Personal tools
You are here: Home / Internal / RISC Forum / 2017 / RISC Forum

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
« February 2018 »
February
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
262728