2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки

Сообщения без ответов | Активные темы | Избранное


» » »


Правила форума


В этом разделе нельзя создавать новые темы.



Начать новую тему Ответить на тему
  Печатать страницу | Печатать всю тему Пред. тема | След. тема 
Fly 
 Семантическое исчисление секвенций
Сообщение14.10.2014, 20:07 


31/08/14
4
Что такое семантическое исчисление секвенций? Удавалось находить материалы по просто исчислению секвенций. Если они чем-то отличаются, напишите чем. Если отличий нет, тоже скажите, пожалуйста.
 Профиль  
                  
popolznev 
 Re: Семантическое исчисление секвенций
Сообщение15.10.2014, 20:20 
Аватара пользователя


14/10/13
339
Зайдите в жж к Шеню и спросите, раз тут никто не знает :)
 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  Страница 1 из 1
  [ Сообщений: 2 ] 

Модераторы: Модераторы Математики, Супермодераторы

Список форумов » Математика » Помогите решить / разобраться (М) » Чулан (М)


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей

Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group