Связанные правки для «Участник:ZakharovVA»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
17 ноября 2024
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 13:30 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 13:26 . . (-34) . . PodymovVV (обсуждение | вклад)
13 ноября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 10:14 . . (0) . . PodymovVV (обсуждение | вклад)
10 ноября 2024
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 22:30 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 22:24 . . (0) . . PodymovVV (обсуждение | вклад)
5 ноября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 23:18 . . (0) . . PodymovVV (обсуждение | вклад)
