RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления





Для просмотра файлов Вам могут потребоваться






Международная конференция «Logical Models of Reasoning and Computation»
3 февраля 2012 г. 10:00, г. Москва, МИАН
 


Nonclassical Proofs: theory, applications, and tools

Agata Ciabattoni

Vienna University of Technology
Видеозаписи:
Flash Video 426.0 Mb
Flash Video 2,590.2 Mb
MP4 426.0 Mb

Количество просмотров:
Эта страница:461
Видеофайлы:204

Agata Ciabattoni
Фотогалерея


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке

Аннотация: I will describe a recently funded research project aiming to systematize proof theory for non-classical logics.

Язык доклада: английский

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017