$19. Метод резолюций исчисления предикатов ()
11 years ago 01:58:04 127
5 years ago 00:01:54 137
3 years ago 02:44:49 3
9 years ago 00:02:16 4
6 years ago 00:04:18 4
6 years ago 00:12:09 3
6 years ago 00:08:42 7
6 years ago 00:31:17 25
5 years ago 00:08:31 188
2 years ago 01:53:18 0
2 years ago 00:06:01 2
5 years ago 00:14:26 26
6 years ago 00:07:18 16
12 years ago 01:59:04 21
7 years ago 00:22:33 2
8 years ago 00:05:41 45
3 years ago 00:01:25 68
12 years ago 00:07:16 26
3 years ago 01:21:21 7
12 years ago 00:29:39 188
10 years ago 00:06:31 1
6 years ago 02:02:05 12
5 years ago 00:07:53 410
12 years ago 00:08:03 150
