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

Matthias Baaz

Technische Universitat Wien

29H指数
194论文数
2.2K被引数
收录论文 4
发表时间
logo
An Analytic Representation of the Semantics of First-Order S5一阶S5语义的解析表示
errFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
err2026-01-01
err0
errOAAI
errBaaz, Matthias; Gamsakhurdia, Mariami; Lolic, Anela
err分享
err收藏
90 Years of Gödel's Incompleteness Theorems: Historical and Philosophical Perspectives90年以来的哥德尔不完备定理：历史与哲学视角
errHISTORY AND PHILOSOPHY OF LOGIC
IF0
err2025-09-01
err0
PREAI
errBaaz, Matthias; Ertel, Marcel; Kahle, Reinhard; Piecha, Thomas; von Plato, Jan
err分享
err收藏
Ten problems in Godel logic
errSOFT COMPUTING
IF2.5
err2016-09-28
err5
errOAAI
errAguilera, Juan P.; Baaz, Matthias
err分享
err收藏
Godel logics with monotone operators
errFUZZY SETS AND SYSTEMS
IF2.7
err2012-06-01
err4
errOAAI
errBaaz, Matthias; Fasching, Oliver
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
Jan von Plato
H 指数: 21 · 论文数: 201
T
Thomas Piecha
H 指数: 10 · 论文数: 47
R
Reinhard Kähle
H 指数: 10 · 论文数: 138
J
Juan P. Aguilera
H 指数: 5 · 论文数: 71
A
Anela Lolić
H 指数: 3 · 论文数: 38
查看更多