• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • The Pennsylvania State University CiteSeerX Archives (40)
    • Johnson-Laird, Philip Nicholas (20)
    • Byrne, Ruth M. J. (11)
    • Politzer, Guy (7)
    • Benthem, Johan van (6)
    • Gabbay, Dov M. (6)
    • Deutsches Forschungszentrum (5)
    • Evans, Jonathan St. B. T. (5)
    • Intelligenz Gmbh (5)
    • Kempson, Ruth M. (5)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (384)
    • Book (56)
    • Miscellaneous (13)
  • 
    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...23 Hits 1 – 20 of 453 1 Modeling human-like morphological prediction Rosen, Eric R In: Proceedings of the Society for Computation in Linguistics (2022) BASE Show details 2 Variables are valuable: making a case for deductive modeling Tizón-Couto, David; Lorenz, David In: Linguistics. - Berlin [u.a.] : Mouton de Gruyter 59 (2021) 5, 1279-1309 BLLDB Show details 3 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 4 Актуальные схемы мошенничества при получении налогового вычета и способы противодействия им ... : Current Schemes of Fraud in Obtaining a Tax Deduction and Ways to Counteract Them ... Удалов Максим Игоревич; Шибалова Мария Алексеевна. - : Вестник Саратовской государственной юридической академии, 2021 BASE Show details 5 ПРАВОВАЯ ПОЛИТИКА РОССИЙСКОЙ ФЕДЕРАЦИИ В СФЕРЕ РАЗВИТИЯ ЧАСТНОГО ИНВЕСТИРОВАНИЯ ... : Legal policy of the Russian Federation in the field of private investment development ... Е. В. Юдина. - : Правовая политика и правовая жизнь, 2021 BASE Show details 6 Leo-III – A Theorem Prover for Higher-Order Logic ... Steen, Alexander; Benzmueller, Christoph. - : Zenodo, 2021 BASE Show details 7 Leo-III 1.6 ... Steen, Alexander. - : Zenodo, 2021 BASE Show details 8 Leo-III 1.6 ... Steen, Alexander. - : Zenodo, 2021 BASE Show details 9 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 10 On Sellars' exam question trilemma: are Kant's premises analytic, or synthetic a priori, or a posteriori? O'Shea, James R.. - : Taylor & Francis, 2021 BASE Show details 11 Analysing scientific discourse from a systemic functional linguistic perspective : a framework for exploring knowledge building in biology Hao, Jing. - London : Routledge, 2020 BLLDB UB Frankfurt Linguistik Show details 12 Proof-theoretic aspects of NLλ Moot, Richard In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980 ; 2020 (2020) BASE Show details 13 Leo-III 1.5 – A Theorem Prover for Higher-Order Logic ... Steen, Alexander; Benzmueller, Christoph. - : Zenodo, 2020 BASE Show details 14 Backwards Time: The Rhetoric of Reverse VIRDEE, DOUGLASS. - 2020 BASE Show details 15 A Semantic Characterization for ASP Base Revision Garcia, Laurent; Lefèvre, Claire; Stéphan, Igor... In: ISSN: 1076-9757 ; Journal of Artificial Intelligence Research ; https://hal-amu.archives-ouvertes.fr/hal-02392942 ; Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2019, 66, pp.989 - 1029 (2019) BASE Show details 16 Epistemic modals, deduction, and factivity: New insights from the epistemic future Mihoc, Teodora; Bhadra, Diti; Falaus, Anamaria In: Proceedings of the 29th Semantics and Linguistic Theory Conference ; Semantics and Linguistic Theory (SALT) 29 ; https://hal.archives-ouvertes.fr/hal-02428030 ; Semantics and Linguistic Theory (SALT) 29, UCLA, May 2019, Los Angeles, United States. pp.351-370, ⟨10.3765/salt.v28i0.4422⟩ ; https://journals.linguisticsociety.org/proceedings/index.php/SALT/article/view/29.351 (2019) BASE Show details 17 IN SEARCH OF LOGIC IN TRANSLATION: INDUCTION, DEDUCTION OR ABDUCTION? ... Oleksandr, Rebrii. - : Zenodo, 2019 BASE Show details 18 IN SEARCH OF LOGIC IN TRANSLATION: INDUCTION, DEDUCTION OR ABDUCTION? ... Oleksandr, Rebrii. - : Zenodo, 2019 BASE Show details 19 Preference inference based on lexicographic and Pareto models George, Anne-Marie. - : University College Cork, 2019 BASE Show details 20 Classical logic, argument and dialectic M. D'Agostino; S. Modgil. - : Elsevier, 2018 BASE Show details Page: 1 2 3 4 5...23

Mobile view All Catalogues UB Frankfurt Linguistik 49 IDS Mannheim 0 OLC Linguistik 40 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 356 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 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 95 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0