• Refine your search:
  • 
    Keyword:
    
    • Intuitionistische Logik (2)
    • Modale Logik (2)
    • Sprachlogik (2)
    • Aussagenlogik (1)
    • Boolean semantics (1)
    • Combined logics (1)
    • Einführungen (1)
    • Formale Semantik (1)
    • Negation (semant.) (1)
    • Turing machine (1)
    •   more
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (5)
    • Book (1)
  • 
    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 Hits 1 – 6 of 6 1 Human-motion saliency in complex scenes Pirri, Fiora; Pizzoli, Matia; Mancas, Matei In: Gesture and sign language in human-computer interaction and embodied communication (Berlin, 2012), p. 81-92 MPI für Psycholinguistik Show details 2 Reports of the AAAI 2011 Fall Symposia Blisard, Sam; Carmichael, Ted; Ding, Li... In: ISSN: 0738-4602 ; AI magazine ; https://hal.archives-ouvertes.fr/hal-02797990 ; AI magazine, Association for the Advancement of Artificial Intelligence, 2012, 33 (1), pp.71-78. ⟨10.1609/aimag.v33i1.2391⟩ (2012) BASE Show details 3 Strutture, logica, linguaggi Carlucci Aiello, Luigia; Pirri, Fiora. - Milano : Pearson, 2005 BLLDB UB Frankfurt Linguistik Show details 4 Combining logics I Gabbay, Dov M. (Hrsg.); Pirri, Fiora (Hrsg.); Blackburn, Patrick (Mitarb.)... In: Studia logica. - Dordrecht : Springer Science + Business Media 59 (1997) 1, 1-141 BLLDB Show details 5 Defaults as restrictions on classical Hilbert-style proofs Amati, Gianni; Carlucci Aiello, Luigia; Pirri, Fiora In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 3 (1994) 4, 303-326 OLC Linguistik Show details 6 An uniform tableau method for intuitionistic modal logics I Amati, Giambattista; Pirri, Fiora In: Studia logica. - Dordrecht : Springer Science + Business Media 53 (1994) 1, 29-60 BLLDB Show details

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