Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming seminars




Colloquium of the Faculty of Computer Science
December 22, 2016 18:10–19:30, Moscow
 


Семантические технологии: новая жизнь для математической логики

Михаил Захарьящевab, Станислав Кикотьac

a Birkbeck, University of London
b National Research University "Higher School of Economics" (HSE), Moscow
c Institute for Information Transmission Problems, Russian Academy of Sciences

Number of views:
This page:226
Youtube:


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