Связанные правки для «Участник:ZakharovVA»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
8 сентября 2024
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 20:48 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 20:44 . . (0) . . PodymovVV (обсуждение | вклад)
2 сентября 2024
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 09:46 . . (0) . . PodymovVV (обсуждение | вклад)
1 сентября 2024
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 12:53 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 12:49 . . (-74) . . PodymovVV (обсуждение | вклад)
31 августа 2024
- (разн. | история) . . Математические методы верификации схем и программ; 20:39 . . (0) . . PodymovVV (обсуждение | вклад)
30 августа 2024
- (разн. | история) . . Математические методы верификации схем и программ; 19:26 . . (+399) . . PodymovVV (обсуждение | вклад)