• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    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 Hits 1 – 20 of 100 1 Fast Construction of Correcting Ensembles for Legacy Artificial Intelligence Systems: Algorithms and a Case Study Green, S; Prokhorov, D; Gorban, AN. - : Elsevier, 2019 BASE Show details 2 Proof, rigour and informality : a virtue account of mathematical knowledge Tanswell, Fenner Stanley. - : University of St Andrews, 2017. : The University of St Andrews, 2017. : University of Stirling, 2017 BASE Show details 3 Entre disimetría y reciprocidad. El reconocimiento mutuo según Paul Ricœur Prada Londoño, Manuel. - : Universitat de Barcelona, 2016 In: TDX (Tesis Doctorals en Xarxa) (2016) BASE Show details 4 Entre disimetría y reciprocidad. El reconocimiento mutuo según Paul Ricœur Prada Londoño, Manuel. - : Universitat de Barcelona, 2016 BASE Show details 5 Measure semantics and qualitative semantics for epistemic modals Holliday, Wesley Halcrow; Icard, Thomas Frederick III In: Holliday, Wesley Halcrow; & Icard, Thomas Frederick III. (2013). Measure semantics and qualitative semantics for epistemic modals . Semantics and Linguistic Theory, 23. UC Berkeley: Retrieved from: http://www.escholarship.org/uc/item/1cr7p6zk (2013) BASE Show details 6 Measure semantics and qualitative semantics for epistemic modals Holliday, Wesley Halcrow; Icard, Thomas Frederick III In: Holliday, Wesley Halcrow; & Icard, Thomas Frederick III. (2013). Measure semantics and qualitative semantics for epistemic modals. Proceedings of Semantics and Linguistic Theory, 23. UC Berkeley: Department of Philosophy. Retrieved from: http://www.escholarship.org/uc/item/1365c3jb (2013) BASE Show details 7 Measure semantics and qualitative semantics for epistemic modals Holliday, Wesley H.; Icard, III, Thomas F. In: Semantics and Linguistic Theory; Proceedings of SALT 23; 514-534 ; 2163-5951 (2013) BASE Show details 8 Towards a Theory of Semantic Communication (Extended Technical Report) Bao, Jie; Basu, Prithwish; Dean, Mike... In: DTIC (2011) BASE Show details 9 An Analysis of Specware and Its Usefulness in the Verification of High Assurance Systems DeCloss, Daniel P. In: DTIC (2006) BASE Show details 10 TAME: Using PVS Strategies for Special-Purpose Theorem Proving Archer, Myla In: DTIC (2001) BASE Show details 11 Quantifier elimination in tame infinite p-adic fields Brigandt, Ingo. - 2001 BASE Show details 12 Quantifier elimination in tame infinite p-adic fields Brigandt, Ingo. - : University of Alberta, 2001 BASE Show details 13 Eliminating Covert Flows with Minimum Typings Volpano, Dennis; Smith, Geoffrey In: DTIC (1997) BASE Show details 14 Modal Logic over Finite Structures Eric Rosen In: http://www-mgi.informatik.rwth-aachen.de/Publications/pub/rosen/jolli.ps (1995) BASE Show details 15 A Revised Approach to Combining Linguistic and Probabilistic Information in Correlation Goodman, I. R. In: DTIC AND NTIS (1992) BASE Show details 16 Natural Language Based Inference Procedures Applied to Schubert's Steamroller Givan, Robert; McAllester, David; Shalaby, Sameer In: DTIC AND NTIS (1991) BASE Show details 17 Grammar Rewriting McAllester, David In: DTIC AND NTIS (1991) BASE Show details 18 Taxonomic Syntax for First Order Inference McAllester, David; Given, Bob In: DTIC AND NTIS (1989) BASE Show details 19 A Non-Cognitive Formal Approach to Knowledge Representation in Artificial Intelligence. McMannama,Jim A In: DTIC AND NTIS (1986) BASE Show details 20 Research on Interactive Acquisition and Use of Knowledge. Stickel,Mark E In: DTIC AND NTIS (1983) BASE Show details Page: 1 2 3 4 5

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 100 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0