关注
Patrick F. Walsh
Patrick F. Walsh
Carnegie Mellon
在 andrew.cmu.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Natural formalization: Deriving the Cantor-Bernstein theorem in ZF
W Sieg, P Walsh
The Review of Symbolic Logic 14 (1), 250-284, 2021
102021
Categorical harmony and path induction
P Walsh
The Review of Symbolic Logic 10 (2), 301-321, 2017
72017
A Categorical Characterization of Accessible Domain
P Walsh
Bulletin of Symbolic Logic 26 (3-4), 298-299, 2020
22020
Justifying Path Induction
P Walsh
22015
AI and Humanity, by llah Reza Nourbakhsh and Jennifer Keating
PF Walsh
Teaching Philosophy 45 (1), 134-137, 2022
2022
AI Ethics, by Mark Coeckelbergh
PF Walsh
Teaching Philosophy 44 (4), 579-582, 2021
2021
系统目前无法执行此操作，请稍后再试。
文章 1–6
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交