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

Search
RSS
New in collection



International workshop "Logical Models of Reasoning and Computation"
February 3, 2012 10:00, Moscow, Steklov Mathematical Institute 		 

Nonclassical Proofs: theory, applications, and tools

Agata Ciabattoni

Vienna University of Technology
Video records:
Flash Video 2,590.2 Mb
Flash Video 426.0 Mb
MP4 1,619.7 Mb

Number of views:
This page:619
Video files:243

Agata Ciabattoni
Photo Gallery



Abstract: I will describe a recently funded research project aiming to systematize proof theory for non-classical logics.

Language: English
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024