• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2019 (1)
    • 2018 (2)
    • 2016 (1)
    • 2014 (4)
    • 2013 (3)
    • 2012 (8)
    • 2011 (5)
    • 2010 (1)
    • 2009 (2)
    • 2008 (7)
    •   more
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (190)
    • subject to license (0)

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...10 Hits 1 – 20 of 190 1 Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates Voigt, Marco. - : Saarländische Universitäts- und Landesbibliothek, 2019 BASE Show details 2 Gottlob Frege : Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens Wille, Matthias. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2018 UB Frankfurt Linguistik Show details 3 Gottlob Frege : Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens Wille, Matthias. - Berlin, Germany : Springer Spektrum, 2018 BLLDB UB Frankfurt Linguistik Show details 4 Logik ... Castell-Castell, Nikolaus. - : Zenodo, 2016 BASE Show details 5 Logical aspects of computational linguistics : 8th international conference ; proceedings Asher, Nicholas (Hrsg.); Soloviev, Sergei (Hrsg.). - Heidelberg [u.a.] : Springer, 2014 BLLDB UB Frankfurt Linguistik Show details 6 Koran, logisch : Textverarbeitung in der Islamwissenschaft Borrmann, Kai. - Würzburg : Ergon-Verl., 2014 BLLDB UB Frankfurt Linguistik Show details 7 Training Semantic Parsers from Entity-Annotated Corpora ... Schmidt, Florian. - : ETH Zurich, 2014 BASE Show details 8 Training Semantic Parsers from Entity-Annotated Corpora Schmidt, Florian. - : ETH-Zürich, 2014 BASE Show details 9 Logic and Its Applications : 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings Lodaya, Kamal. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013 UB Frankfurt Linguistik Show details 10 Logic and its applications : 5th Indian conference ; proceedings Lodaya, Kamal (Hrsg.). - Berlin [u.a.] : Springer, 2013 BLLDB UB Frankfurt Linguistik Show details 11 Third International Workshop on Logic, Rationality and Interactions (LORI-III) in Guangzhou Ditmarsch, Hans van (Hrsg.). - Heidelberg [u.a.] : Springer, 2013 UB Frankfurt Linguistik Show details 12 Logical Aspects of Computational Linguistics : 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings Bechet, Denis; Dikovsky, Alexandre. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 UB Frankfurt Linguistik Show details 13 Meaningful games : exploring language with game theory Clark, Robin. - Cambridge, Mass. [u.a.] : The MIT Press, 2012 Leibniz-Zentrum Allgemeine Sprachwissenschaft Show details 14 A formal semantics for isorecursive and equirecursive state abstractions Summers, Alexander J.; Drossopoulou, Sophia In: Technical Report / ETH Zurich, Department of Computer Science, 773 (2012) BASE Show details 15 Verification condition generation for permission logics with abstract predicates and abstraction functions Heule, Stefan; Kassios, Ioannis T.; Müller, Peter... In: Technical Report / ETH Zurich, Department of Computer Science, 776 (2012) BASE Show details 16 Verification condition generation for permission logics with abstract predicates and abstraction functions ... Heule, Stefan; Kassios, Ioannis T.; Müller, Peter. - : ETH Zurich, 2012 BASE Show details 17 A formal semantics for isorecursive and equirecursive state abstractions ... Summers, Alexander J.; Drossopoulou, Sophia. - : ETH Zurich, 2012 BASE Show details 18 Intertranslatability results for abstract argumentation semantics Spanring, Christof. - 2012 BASE Show details 19 Frege and metatheory Eder, Günther. - 2012 BASE Show details 20 Logical Aspects of Computational Linguistics : 6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings Pogodalla, Sylvain; Prost, Jean-Philippe. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 UB Frankfurt Linguistik Show details Page: 1 2 3 4 5...10

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