Связанные правки для «Участник:ZakharovVA»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
16 октября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 14:01 . . (0) . . PodymovVV (обсуждение | вклад)
13 октября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 22:45 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 18:20 . . (0) . . PodymovVV (обсуждение | вклад)
7 октября 2024
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 14:31 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 00:48 . . (0) . . PodymovVV (обсуждение | вклад)
1 октября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 13:36 . . (+118) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 13:32 . . (-1001) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 13:19 . . (0) . . PodymovVV (обсуждение | вклад)
26 сентября 2024
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 17:32 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 14:35 . . (0) . . PodymovVV (обсуждение | вклад)
25 сентября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 13:59 . . (0) . . PodymovVV (обсуждение | вклад)
22 сентября 2024
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 16:08 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 15:23 . . (0) . . PodymovVV (обсуждение | вклад)