|
Эта публикация цитируется в 13 научных статьях (всего в 13 статьях)
Propositional primal logic with disjunction
L. Beklemisheva, Yu. Gurevichb a Steklov Mathematical Institute, Gubkina str. 8, Moscow, Russia
b Microsoft Research, One Microsoft Way, Redmond, USA
Поступила в редакцию: 30.05.2011
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/jlc1
|
Статистика просмотров: |
Страница аннотации: | 111 |
|