filmov
tv
Adventures in Automata with a Theorem-Prover
Показать описание
Public Lecture by Jeffrey Shallit (University of Waterloo)
Here is the weblink for the publicly-available prover
Here is the weblink for the publicly-available prover
1:07:09
0:04:45
0:01:01
0:01:00
0:00:18
0:06:11
0:02:37
0:11:35
0:09:19
0:07:15
0:17:54
0:00:38
0:01:00
0:02:34
0:00:15
0:00:47
0:00:13
0:00:38
0:06:38
0:01:14
0:04:28
0:00:55
0:01:00
0:00:48