• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2022 (2)
    • 2021 (5)
    • 2020 (1)
    • 2007 (1)
    • 2006 (2)
    • 1999 (1)
    • 1997 (2)
    • 1993 (1)
    • 1991 (4)
  • 
    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 Hits 1 – 20 of 21 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 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 Leo-III – A Theorem Prover for Higher-Order Logic ... Steen, Alexander; Benzmueller, Christoph. - : Zenodo, 2021 BASE Show details 5 Leo-III 1.6 ... Steen, Alexander. - : Zenodo, 2021 BASE Show details 6 Leo-III 1.6 ... Steen, Alexander. - : Zenodo, 2021 BASE Show details 7 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 8 Leo-III 1.5 – A Theorem Prover for Higher-Order Logic ... Steen, Alexander; Benzmueller, Christoph. - : Zenodo, 2020 BASE Show details 9 Searchable Online Edition Universität Des Saarlandes; Fachrichtung Informatik; Claus-peter Wirth In: http://arxiv.org/pdf/0902.3749v1.pdf (2007) BASE Show details 10 Toward a proof assistant in natural language ; Vers un assistant à la preuve en langue naturelle Patrick, Thévenon. - : HAL CCSD, 2006 In: https://tel.archives-ouvertes.fr/tel-00414773 ; Autre [cs.OH]. Université de Savoie, 2006. Français (2006) BASE Show details 11 Hilbert’s epsilon as an operator of indefinite committed choice Claus-peter Wirth In: http://www.ags.uni-sb.de/~cp/p/epsi/pdf.pdf (2006) BASE Show details 12 Automated Reasoning for Computational Semantics Patrick Blackburn; Johan Bos; Michael Kohlhase In: http://www.ags.uni-sb.de/~kohlhase/submit/nlded-99.ps.gz (1999) BASE Show details 13 A Graphical Environment for the Design of Concurrent Real-Time Systems L. E. Moser; Y. S. Ramakrishna; G. Kutty... In: http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf (1997) BASE Show details 14 Free-variable Tableaux for Propositional Modal Logics Bernhard Beckert; Rajeev Goré In: ftp://arp.anu.edu.au/pub/papers/gore/Free-Variable-Tableaux/free-variable-tableau.ps.gz (1997) BASE Show details 15 Uniform Strategies: The CADE-11 Theorem Proving Contest Ewing L. Lusk; William W. Mccune In: ftp://info.mcs.anl.gov/pub/tech_reports/reports/P378.ps.Z (1993) BASE Show details 16 Observations on Cognitive Judgments McAllester, David. - 1991 BASE Show details 17 Natural Language Based Inference Procedures Applied to Schubert's Steamroller Givan, Robert; McAllester, David; Shalaby, Sameer In: DTIC AND NTIS (1991) BASE Show details 18 Observations on Cognitive Judgments McAllester, David In: DTIC AND NTIS (1991) BASE Show details 19 Grammar Rewriting McAllester, David In: DTIC AND NTIS (1991) BASE Show details 20 System of Automated Deduction (SAD): Linguistic and Deductive Peculiarities Alexander Lyaletski; Konstantine Verchinine; Anatoli Degtyarev... In: http://www.dcs.kcl.ac.uk/staff/anatoli/papers/sad-iis.ps BASE Show details Page: 1 2

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 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 21 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0