• Refine your search:
  • 
    Keyword:
    
    • Theorem proving (126)
    • Sprachlogik (62)
    • Linguistics (26)
    • BAYES THEOREM (21)
    • Wahrheitstheorie (18)
    • Bayes Theorem (17)
    • Humans (17)
    • Gödel, Kurt (16)
    • Modale Logik (16)
    • Cybernetics (13)
    •   more
  • 
    Creator / Publisher:
    
    • The Pennsylvania State University CiteSeerX Archives (49)
    • Rose, Philip (6)
    • Steen, Alexander (6)
    • Alexander Koller (4)
    • Benthem, Johan van (4)
    • Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) (4)
    • Kristina Striegnitz (4)
    • McAllester, David (4)
    • Michael Kohlhase (4)
    • Moot, Richard (4)
    •   more
  • 
    Year:
    
    • 2022 (3)
    • 2021 (10)
    • 2020 (8)
    • 2019 (5)
    • 2018 (3)
    • 2017 (8)
    • 2016 (2)
    • 2015 (19)
    • 2014 (5)
    • 2013 (7)
    •   more
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5...16 Hits 1 – 20 of 304 1 tptp-utils 1.1 ... Steen, Alexander. - : Zenodo, 2022 BASE Show details 2 tptp-utils 1.1 ... Steen, Alexander. - : Zenodo, 2022 BASE Show details 3 The Leap from Artificial Science to Intelligence Science Chuan Zhao In: Proceedings; Volume 81; Issue 1; Pages: 64 (2022) BASE Show details 4 Recurrence relations in m × 3 scaffolding and globe resistor networks Perrier, Frédéric; Girault, Frédéric In: Physica Scripta ; https://hal-insu.archives-ouvertes.fr/insu-03590021 ; Physica Scripta, 2021, 96, 21 pp. ⟨10.1088/1402-4896/abef8b⟩ (2021) BASE Show details 5 Improving Automation for Higher-Order Proof Steps Defourné, Antoine In: Lecture Notes ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems ; https://hal.archives-ouvertes.fr/hal-03528009 ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-86205-3_8⟩ (2021) BASE Show details 6 A Bayesian optimization approach for rapidly mapping residual network function in stroke. ... Lorenz, Romy; Johal, Michelle; Dick, Frederic. - : Apollo - University of Cambridge Repository, 2021 BASE Show details 7 Leo-III – A Theorem Prover for Higher-Order Logic ... Steen, Alexander; Benzmueller, Christoph. - : Zenodo, 2021 BASE Show details 8 Leo-III 1.6 ... Steen, Alexander. - : Zenodo, 2021 BASE Show details 9 Leo-III 1.6 ... Steen, Alexander. - : Zenodo, 2021 BASE Show details 10 Predictive Neural Computations Support Spoken Word Recognition: Evidence from MEG and Competitor Priming. ... Wang, Yingcan Carol; Sohoglu, Ediz; Gilbert, Becky. - : Apollo - University of Cambridge Repository, 2021 BASE Show details 11 Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools Tomás Recio; Rafael Losada; Zoltán Kovács... In: Mathematics ; Volume 9 ; Issue 20 (2021) BASE Show details 12 A Bayesian optimization approach for rapidly mapping residual network function in stroke. Lorenz, Romy; Johal, Michelle; Dick, Frederic. - : Oxford University Press (OUP), 2021. : Brain, 2021 BASE Show details 13 Predictive Neural Computations Support Spoken Word Recognition: Evidence from MEG and Competitor Priming. Wang, Yingcan Carol; Henson, Rik; Sohoglu, Ediz. - : Society for Neuroscience, 2021. : Mrc Cognition And Brain Sciences Unit, 2021. : Department of Psychiatry, 2021. : J Neurosci, 2021 BASE Show details 14 Proof-theoretic aspects of NLλ Moot, Richard In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980 ; 2020 (2020) BASE Show details 15 Leo-III 1.5 – A Theorem Prover for Higher-Order Logic ... Steen, Alexander; Benzmueller, Christoph. - : Zenodo, 2020 BASE Show details 16 Entropy and Time Ben-Naim In: Entropy ; Volume 22 ; Issue 4 (2020) BASE Show details 17 Rapid computations of spectrotemporal prediction error support perception of degraded speech. ... Sohoglu, Ediz; Davis, Matt. - : Apollo - University of Cambridge Repository, 2020 BASE Show details 18 Chunking and redintegration in verbal short-term memory. ... Norris, Dennis; Kalm, Kristjan; Hall, Jane. - : Apollo - University of Cambridge Repository, 2020 BASE Show details 19 Chunking and redintegration in verbal short-term memory. Norris, Dennis; Kalm, Kristjan; Hall, Jane. - : American Psychological Association (APA), 2020. : J Exp Psychol Learn Mem Cogn, 2020 BASE Show details 20 A principled derivation of Harmonic Grammar Magri, Giorgio In: Proceedings of the Society for Computation in Linguistics (2020) BASE Show details Page: 1 2 3 4 5...16

Mobile view All Catalogues UB Frankfurt Linguistik 16 IDS Mannheim 0 OLC Linguistik 13 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 124 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 1 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 178 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0