Все доступные журналы
Материал из 0x1.tv
Общий список журналов сайта 0x1.tv. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 12:19, 4 сентября 2021 StasFomin (обсуждение | вклад): массовая правка From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019): замена PCRE (\n\n)+(\n) на \2
- 13:21, 31 августа 2021 StasFomin (обсуждение | вклад) автоматически отпатрулировал версию 179016 страницы From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)
- 22:40, 24 августа 2021 StasFomin (обсуждение | вклад) автоматически отпатрулировал версию 172628 страницы From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)
- 18:45, 18 июля 2020 StasFomin (обсуждение | вклад) автоматически отпатрулировал версию 165098 страницы From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)
- 16:43, 7 июля 2020 StasFomin (обсуждение | вклад) автоматически отпатрулировал версию 160692 страницы From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)
- 21:31, 5 июля 2020 StasFomin (обсуждение | вклад) автоматически отпатрулировал версию 156758 страницы From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)
- 19:44, 5 июля 2020 StasFomin (обсуждение | вклад) автоматически отпатрулировал версию 156020 страницы From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)
- 11:39, 31 января 2020 StasFomin (обсуждение | вклад) автоматически отпатрулировал версию 154508 страницы From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)
- 09:06, 28 января 2020 StasFomin (обсуждение | вклад) автоматически отпатрулировал версию 151056 страницы From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)
- 12:01, 23 января 2020 StasFomin (обсуждение | вклад) автоматически отпатрулировал версию 149660 страницы From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)
- 16:41, 22 января 2020 StasFomin (обсуждение | вклад) автоматически отпатрулировал версию 146759 страницы From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)
- 13:01, 9 января 2020 StasFomin (обсуждение | вклад) автоматически отпатрулировал версию 142590 страницы From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)
- 12:53, 4 января 2020 StasFomin (обсуждение | вклад) автоматически отпатрулировал версию 137077 страницы From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)
- 12:52, 30 декабря 2019 StasFomin (обсуждение | вклад) автоматически отпатрулировал версию 129655 страницы From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)
- 11:53, 27 декабря 2019 StasFomin (обсуждение | вклад) автоматически отпатрулировал версию 128409 страницы From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)
- 11:52, 27 декабря 2019 StasFomin (обсуждение | вклад) автоматически отпатрулировал версию 128407 страницы From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)
- 05:59, 26 декабря 2019 StasFomin (обсуждение | вклад) автоматически отпатрулировал версию 128373 страницы From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)
- 18:16, 25 декабря 2019 StasFomin (обсуждение | вклад) автоматически отпатрулировал версию 128354 страницы From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)
- 18:15, 25 декабря 2019 StasFomin (обсуждение | вклад) автоматически отпатрулировал версию 128352 страницы From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)