Shelter for the Cognitively Homeless
- 期刊名称Synthese
- 作者Baron Reed
- 卷第148卷
- 期第2期
- 印刷ISSN0039-7857
- 电子ISSN1573-0964
- 文件大小694.21KB
- 发表时间2006-04
- DOI10.2307/20118692
- 页码303-308
Towards computer aided mathematicsChristoph Benzmüller · 2006
Combined reasoning by automated cooperationChristoph Benzmüller; Volker Sorge; Mateja Jamnik; Manfred Kerber · 2008
Agent Based Mathematical ReasoningChristoph Benzmüller; Mateja Jamnik; Manfred Kerber; Volker Sorge · 1999
PrefaceSerge Autexier; Christoph Benzmüller · 2007
PrefaceSerge Autexier; Christoph Benzmüller · 2009
Universal (meta-)logical reasoning: Recent successesBenzmüller, Christoph · Science of Computer Programming · 2019
Computer supported mathematics with ΩmegaJörg Siekmann; Christoph Benzmüller; Serge Autexier · 2006
Quantified Multimodal Logics in Simple Type TheoryChristoph Benzmüller, Lawrence C. Paulson · 2013
Philosophical materialismColin McGinn · Synthese · 1980
Dispositions, logical states, and mental occurrentsRonald C. Hoy · Synthese · 1980
A probabilistic causal calculus: Conflicting conceptionsJames H. Fetzer; Donald E. Nute · Synthese · 1980
ReviewKeith Campbell · Synthese · 1980
Probability as a theoretical conceptLawrence Sklar · Synthese · 1979
Tyche and AthenaHenry E. Kyburg · Synthese · 1979
Propensity and necessityRonald N. Giere · Synthese · 1979
Books and journals receivedSynthese · 1979