掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Asian Logic Conference
Asian Logic Conference
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
On Categorical Relationship among Various Fuzzy Topological Systems, Fuzzy Topological Spaces and Related Algebraic Structures
机译:
关于各种模糊拓扑系统,模糊拓扑空间和相关代数结构的分类关系
作者:
Purbita Jana
;
Mihir K. Chakraborty
会议名称:
《Asian Logic Conference》
|
2015年
关键词:
Topological system;
Fuzzy topological system;
Fuzzy topological space;
Category theory;
Logic of finite observations;
2.
Characterization of the Second Homology Group of a Stationary Type in a Stable Theory
机译:
稳定理论中固定式第二同源组的特征
作者:
John Goodrick
;
Byunghan Kim
;
Alexei Kolesnikov
会议名称:
《Asian Logic Conference》
|
2015年
关键词:
The 2nd homology group;
3-uniqueness;
groupoid;
categorical theory;
3.
Goal-directed Unbounded Coalitional Game and Its Complexity
机译:
目标导向无界的外立游戏及其复杂性
作者:
Hu Liu
会议名称:
《Asian Logic Conference》
|
2015年
关键词:
Extended Coalitional Game;
Goal-directed Game;
4.
Some Questions Concerning Ab Initio Generic Structures
机译:
关于AB Initio通用结构的一些问题
作者:
Koichiro Ikeda
会议名称:
《Asian Logic Conference》
|
2015年
关键词:
Generic structure;
Stability class;
Model completeness;
5.
Model Complete Generic Structures
机译:
模型完成通用结构
作者:
Koichiro Ikeda
;
Hirotaka Kikyo
会议名称:
《Asian Logic Conference》
|
2015年
关键词:
Model;
Complete;
Generic Structures;
6.
Realizability and Existence Property of a Constructive Set Theory with Types
机译:
用类型的建设性集理论的可实现性和存在性质
作者:
Farida Kachapova
会议名称:
《Asian Logic Conference》
|
2015年
关键词:
realizability;
existence property;
constructive mathematics;
intu;
itionistic;
type theory;
predicative;
7.
Large Cardinals and Higher Degree Theory
机译:
大型红衣主教和高度理论
作者:
Xianghui Shi
会议名称:
《Asian Logic Conference》
|
2015年
关键词:
Turing degree;
hyperarithmetic degree;
inner model operator;
jump;
incomparable degrees;
minimal degree;
Posner-Robinson Theorem;
Degree Determinacy;
higher degree theory;
Covering Lemma;
large cardinal;
core model;
Axiom Io;
8.
On Extensions of Basic Propositional Logic
机译:
关于基本命题逻辑的扩展
作者:
Minghui Ma
;
Katsuhiko Sano
会议名称:
《Asian Logic Conference》
|
2015年
关键词:
Basic propositional logic;
Superbasic logics;
Two constant property;
Post-completeness;
Embedding;
9.
A Survey on Recent Results on Partial Learning
机译:
关于部分学习的最近结果的调查
作者:
Ziyuan Gao
;
Sanjay Jain
;
Frank Stephan
;
Sandra Zilles
会议名称:
《Asian Logic Conference》
|
2015年
关键词:
Survey;
Recent Results;
Partial Learning;
10.
A Non-Uniformly C-Productive Sequence Non-Constructive Disjunctions
机译:
一种非均匀的C-生产性序列和非建设性的剖钉
作者:
John Case
;
Michael Ralston
;
Yohji Akama
会议名称:
《Asian Logic Conference》
|
2015年
关键词:
Complete Productivity;
Uniformly Computable;
Index Sets;
Constructivity;
Arithmetically Limited Law of Excluded Middle;
Clocked Programming Systems;
Recursion Theorems;
11.
Minimal Pairs in the C.E. Truth-table Degrees
机译:
C.e.的最小对。真实表度
作者:
Rod Downey
;
Keng Meng Ng
会议名称:
《Asian Logic Conference》
|
2015年
关键词:
Turing degrees;
truth table degrees;
algorithmic randomness;
12.
An Analogy between Cardinal Characteristics and Highness Properties of Oracles
机译:
oracles的基本特征与高度特性的类比
作者:
J?rg Brendle
;
Andrew Brooke-Taylor
;
Keng Meng Ng
;
Andre Nies
会议名称:
《Asian Logic Conference》
|
2015年
关键词:
Analogy between Cardinal Characteristics;
Highness Properties;
Oracles;
13.
Two Results on Cardinal Invariants at Uncountable Cardinals
机译:
在不可数红衣主教的红衣主教不变的两种结果
作者:
Dilip Raghavan
;
Saharon Shelah
会议名称:
《Asian Logic Conference》
|
2019年
关键词:
Cardinal invariants;
almost disjoint family;
reaping number;
revised GCH;
14.
The First Homology Group of a G-Set
机译:
G-Set的第一个同源组
作者:
Junguk Lee
会议名称:
《Asian Logic Conference》
|
2019年
关键词:
Geometric G-set;
The first homology group of a G-set;
Groupoid on the set of orbits;
15.
Logical Revision by Counterexamples: A Case Study of the Paraconsistent Counterexample to Ex Contradictione Quodlibet
机译:
Contenerexamples的逻辑修订:对EX矛盾的滞后对抗QuodLibet的案例研究
作者:
Seungrak Choi
会议名称:
《Asian Logic Conference》
|
2019年
关键词:
Ex Contradictione Quodlibet;
Counterexample;
Logical revision;
Logical nihilism;
16.
Moral Dilemmas and the Contrary-to-Duty Scenarios in Dynamic Logic of Acts of Commanding - The Significance of Moral Considerations Behind Moral Judgments -
机译:
道德困境与动态逻辑的行为困境 - 道德判决道德考虑因素的意义 -
作者:
Tomoyuki Yamada
会议名称:
《Asian Logic Conference》
|
2019年
关键词:
Moral dilemma;
deontic explosion: contrary-to-duty paradox;
dynamified deontic logic;
act of commanding;
moral sub-consideration;
17.
FPC and the Symmetry Gap in Combinatorial Optimization
机译:
组合优化中的FPC和对称性差距
作者:
Anuj Dawar
会议名称:
《Asian Logic Conference》
|
2019年
关键词:
Logic;
Combinatorial Optimization;
Descriptive Complexity;
Semidefinite Programming;
Symmetry;
18.
Matrix Iterations with Vertical Support Restrictions
机译:
具有垂直支持限制的矩阵迭代
作者:
Diego A. Mejia
会议名称:
《Asian Logic Conference》
|
2019年
关键词:
Coherent system of finite support iterations;
Frechet-linked;
preservation of unbounded families;
preservation of mad families;
Cichon's diagram;
19.
Linear Orders and Categoricity Spectra
机译:
线性订单和分类光谱
作者:
Nikolay Bazhenov
会议名称:
《Asian Logic Conference》
|
2019年
关键词:
Computable categoricity;
linear order;
categoricity spectrum;
degree of categoricity;
PA degrees;
decidable categoricity;
20.
Strategizing: A Meeting of Methods
机译:
战略规划:方法会议
作者:
Sujata Ghosh
会议名称:
《Asian Logic Conference》
|
2019年
关键词:
Strategic reasoning;
Experiments;
Logic;
Computational cognitive models;
21.
The Entropy Function of an Invariant Measure
机译:
不变措施的熵函数
作者:
Nathanael Ackerman
;
Cameron Freer
;
Rehana Patel
会议名称:
《Asian Logic Conference》
|
2019年
关键词:
Function;
Invariant;
Measure;
22.
On Hrushovski's Pseudoplanes
机译:
在Khrushtski的伪影柱
作者:
Hirotaka Kikyo
;
Shunsuke Okabe
会议名称:
《Asian Logic Conference》
|
2019年
关键词:
Hrushovski's amalgamation construction;
pseudoplane;
model completeness;
23.
Muchnik Degrees and Medvedev Degrees of Randomness Notions
机译:
Modnik学位和Medvedev随机性概念
作者:
Kenshi Miyabe
会议名称:
《Asian Logic Conference》
|
2019年
关键词:
Muchnik degree;
Medvedev degree;
Schnorr randomness;
computable randomness;
24.
Plural Arithmetic
机译:
多种算术
作者:
Byeong-uk Yi
会议名称:
《Asian Logic Conference》
|
2019年
关键词:
Natural number;
arithmetic;
plural logic;
plural predicate;
plural property;
one/many;
potential infinity;
Cottlob Frege;
Peano axioms;
25.
On Stable Theories with a Special Type
机译:
在具有特殊类型的稳定理论上
作者:
Koichiro Ikeda
会议名称:
《Asian Logic Conference》
|
2019年
关键词:
Special type;
Stable theory;
Ehrenfecht theory;
Generic structure;
26.
Via
机译:
通过
作者:
Kamal Lodaya
会议名称:
《Asian Logic Conference》
|
2019年
关键词:
Branching temporal logic;
computation tree logic;
two-variable logic;
27.
Degree Spectra of Equivalence Relations
机译:
等价关系的学位谱
作者:
Liang Yu
会议名称:
《Asian Logic Conference》
|
2015年
关键词:
Hyperarithmeticity;
constructibility;
equivalence relation;
spectrum;
意见反馈
回到顶部
回到首页