跳到主要导航
跳到搜索
跳到主要内容
帮助和常见问题
русский
English
Español
中文
Português
国内
简介
研究单位
科研成果
学生论文
活动
项目
奖项
新闻 / 媒体
按专业知识、名称或附属进行搜索
查看 Scopus 资料
Okhotnikov, Oleg Alievich
Senior Lecturer
,
Department of IT and Computer-Aided Design
1
引用
来源:Scopus
1
H-指数
根据储存在 Pure 的刊物以及来自 Scopus 的引用文献数量计算
2014
2020
每年的科研成果
综述
指纹
网络
科研成果
(2)
相似简介
(6)
如果您在 Pure 中进行了任何更改,将很快在这里可见。
指纹
深入其中 Олег Алиевич Охотников 为活跃的研究主题。这些主题标签来自此人的成果。它们共同形成唯一的指纹。
6
相似简介
deduction
Физика и астрономия
calculus
Физика и астрономия
predicate calculus
Физика и астрономия
completeness
Физика и астрономия
theorems
Физика и астрономия
科研成果
每年的科研成果
2014
2020
1
引用
1
H-指数
1
Article
1
Conference article
每年的科研成果
每年的科研成果
About proof-search in intuitionistic natural deduction calculus using partial Skolemization
Okhotnikov, O.
,
21 十二月 2020
,
在 :
Journal of Physics: Conference Series.
1680
,
1
, 012038.
科研成果
:
Conference article
开放访问
deduction
calculus
predicate calculus
completeness
theorems
A new sequent calculus for automated proof search
Okhotnikov, O.
,
1 一月 2014
,
在 :
Applied Mathematical Sciences.
8
,
97-100
,
页码 4977-4984
8 页码
科研成果
:
Article
1
引用 (Scopus)