logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
M

Michał Zawidzki

university of lodz

5H指数
33论文数
68被引数
收录论文 2
发表时间
logo
Deciding Non-fregean Identities: A Dual Tableau Approach决定非弗雷格式恒等式：一种双表格方法
errLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
err2026-01-01
err0
PREAI
errGolinska-Pilarek, Joanna; Huuskonen, Taneli; Zawidzki, Michal
err分享
err收藏
On Temporal References via Definite Descriptions in First-Order Monadic Logic of Order在序的一阶单目逻辑中通过定指描述进行时间参照
errLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
err2026-01-01
err0
PREAI
errIndrzejczak, Andrzej; Walega, Przemyslaw Andrzej; Zawidzki, Michal
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
A
Andrzej Indrzejczak
H 指数: 13 · 论文数: 86
P
Przemysław Andrzej Wałęga
H 指数: 11 · 论文数: 62
J
Joanna Golińska‐Pilarek
H 指数: 8 · 论文数: 67
T
Taneli Huuskonen
H 指数: 7 · 论文数: 26
已加载全部