Quantified Multimodal Logics in Simple Type Theory
- 作者Christoph Benzmüller, Lawrence C. Paulson
- 卷第7卷
- 期第1期
- 文件大小251.71KB
- 发表时间2013-03
- DOI10.1007/s11787-012-0052-y
- 页码7-20
Statistical Learning, Syllable Processing, and Speech Production in Healthy Hearing and Hearing-Impaired Preschool ChildrenStuder-Eichenberger, Esther; Studer-Eichenberger, Felix; Koenig, Thomas · Ear and Hearing · 2016
Alternate or Additional Findings to Stone Disease on Unenhanced Computerized Tomography for Acute Flank Pain Can Impact ManagementHoppe, Hanno; Studer, Roger; Kessler, Thomas M.; Vock, Peter; Studer, Urs E.; Thoeny, Harriet C. · The Journal of Urology · 2006
Oxidation von Catecholborenolaten mit TEMPOMartin Pouliot; Philippe Renaud; Kurt Schenk; Armido Studer; Thomas Vogler · 2009
Polyvinylketone durch kontrollierte Borgruppentransferpolymerisation (BGTP)Kazuhiro Uehara; Christine B. Wagner; Thomas Vogler; Heinrich Luftmann; Armido Studer · 2010
Two Ways to Common KnowledgeSamuel Bucheli; Roman Kuznets; Thomas Studer · 2010
Explicit mathematics: power types and overloadingThomas Studer · 2005
Continent urinary diversionFiona C. Burkhard; Thomas M. Kessler; Rob Mills; Urs E. Studer · 2006
Deduction chains for common knowledgeMathis Kretz; Thomas Studer · 2006