Videolibrary
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Video Library
Archive
Most viewed videos

Search
RSS
New in collection




June 29, 2023 16:00–16:30 		 

Формальная верификация на Arend

P. P. Sokolov
Video records:
MP4 251.4 Mb
Supplementary materials:
Adobe PDF 72.8 Kb

Number of views:
This page:23
Video files:3
Materials:3




Supplementary materials: Соколов_Формальная_верификация_на_arend.pdf (72.8 Kb)
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024