• Refine your search:
  • 
    Keyword:
    
    • Arabic (6)
    • Dutch language (6)
    • Moroccan Arabic language (6)
    • Moroccan Spoken (6)
    • Church-Rosser (3)
    • Parallel reductions (3)
    • Reducibility (3)
    • Formal Language (2)
    • Mathematical Vernacular (2)
    • Mathematics (2)
    •   more
  • 
    Creator / Publisher:
    
    • Fairouz Kamareddine (23)
    • The Pennsylvania State University CiteSeerX Archives (23)
    • Bos (12)
    • Fairouz (12)
    • Manuel Maarek (12)
    • J. B. Wells (11)
    • Kamareddine, Fairouz (5)
    • Robert Lamar (5)
    • Vincent Rahli (4)
    • Krzysztof Retel (3)
    •   more
  • 
    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 Hits 1 – 20 of 49 1 Measurement of $W^{\pm}$-boson and $Z$-boson production cross-sections in $pp$ collisions at $\sqrt{s}=2.76$ TeV with the ATLAS detector Aad, Georges; Abbott, Brad; Abbott, Dale Charles. - 2019 BASE Show details 2 What Does This Notation Mean Anyway? ; What Does This Notation Mean Anyway?: MBNF-Style Notation as it is Actually Used Feller, David,; Wells, Joe B.,; Kamareddine, Fairouz... In: 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice ; https://hal.inria.fr/hal-01812800 ; 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2018, Oxford, United Kingdom (2018) BASE Show details 3 Investigations in intersection types : confluence, and semantics of expansion in the -calculus, and a type error slicing method Rahli, Vincent. - : Heriot-Watt University, 2011. : Mathematical and Computer Science, 2011 BASE Show details 4 Narrative structure of mathematical texts Fairouz Kamareddine; Manuel Maarek; Krzysztof Retel... In: http://www.macs.hw.ac.uk/~retel/papers/Kamareddine+Maarek+Retel+Wells:mkm-2007-proceedings.pdf (2007) BASE Show details 5 Narrative structure of mathematical texts Fairouz Kamareddine; Manuel Maarek; Krzysztof Retel... In: http://www.macs.hw.ac.uk/~mm20/papers/Kamareddine+Maarek+Retel+Wells:mkm-2007.pdf (2007) BASE Show details 6 Example supplement for “Restoring natural language as a computerised mathematics input method”. Available at http://www.macs.hw.ac.uk/ ~rob Fairouz Kamareddine; Robert Lamar; Manuel Maarek... In: http://www.macs.hw.ac.uk/~rob/docs/papers/mkm07-supplement-colour.pdf (2007) BASE Show details 7 Example supplement for “Restoring natural language as a computerised mathematics input method”. Available at http://www.macs.hw.ac.uk/ ~rob Fairouz Kamareddine; Robert Lamar; Manuel Maarek... In: http://www.macs.hw.ac.uk/~mm20/papers/Kamareddine+Lamar+Maarek+Wells:mkm-example-supplement-2007.pdf (2007) BASE Show details 8 Example supplement for “Restoring natural language as a computerised mathematics input method”. Available at http://www.macs.hw.ac.uk/ ~rob Fairouz Kamareddine; Robert Lamar; Manuel Maarek... In: http://www.macs.hw.ac.uk/~mm20/papers/Kamareddine+Lamar+Maarek+Wells:mkm-example-supplement-2007.bw.pdf (2007) BASE Show details 9 Example supplement for “Restoring natural language as a computerised mathematics input method”. Available at http://www.macs.hw.ac.uk/ ~rob Fairouz Kamareddine; Robert Lamar; Manuel Maarek... In: http://www.macs.hw.ac.uk/~rl47/docs/papers/mkm07-supplement-bw.pdf (2007) BASE Show details 10 Example supplement for “Restoring natural language as a computerised mathematics input method”. Available at http://www.macs.hw.ac.uk/ ~rob Fairouz Kamareddine; Robert Lamar; Manuel Maarek... In: http://www.cedar-forest.org/forest/papers/conference-publications/mkm07-linz-tsa-supplement.pdf (2007) BASE Show details 11 Toward an object-oriented structure for mathematical text Fairouz Kamareddine; Manuel Maarek; J. B. Wells In: http://www.cedar-forest.org/forest/papers/conference-publications/mkm05-bremen.pdf (2006) BASE Show details 12 ◮ Analyzing theories, ◮ Verifying proofs, ◮ Assist tutoring Mathlang Encoding; Manuel Maarek; Under Prof... In: http://www.macs.hw.ac.uk/~mm20/papers/Maarek:Nis-University-slides-2006-jun.pdf (2006) BASE Show details 13 Toward an object-oriented structure for mathematical text Fairouz Kamareddine; Manuel Maarek; J. B. Wells In: http://www.macs.hw.ac.uk/~mm20/papers/Kamareddine+Maarek+Wells:mkm-2005.pdf (2006) BASE Show details 14 Toward an Object-Oriented Structure For Mathematical Text Fairouz Kamareddine; Manuel Maarek; J. B. Wells In: http://www.macs.hw.ac.uk/~jbw/papers/Kamareddine+Maarek+Wells:Toward-an-Object-Oriented-Structure-for-Mathematical-Text:MKM-2005.pdf (2005) BASE Show details 15 A Refinement of de Bruijn's Formal Language of Mathematics Kamareddine, Fairouz; Nederpelt, Rob In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 13 (2004) 3, 287-340 OLC Linguistik Show details 16 A Refinement of de Bruijn’s Formal Language of Mathematics Fairouz Kamareddine In: http://www.macs.hw.ac.uk/~fairouz/papers/journals-publications/kjour.pdf (2004) BASE Show details 17 Identification de relations sémantiques dans des textes scientifiques et techniques en exploitant le raisonnement à partir de cas Chakkour, Fairouz Arina. - : HAL CCSD, 2003 In: https://hal.univ-lorraine.fr/tel-01746803 ; Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2003. Français. ⟨NNT : 2003NAN10192⟩ (2003) BASE Show details 18 Identification de relations sémantiques dans des textes scientifiques et techniques en exploitant le raisonnement à partir de cas Chakkour, Fairouz Arina. - 2003 BASE Show details 19 A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems Kamareddine, Fairouz; Laan, Twan In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 10 (2001) 3, 375-402 OLC Linguistik Show details 20 Le raisonnement à partir de cas pour l'analyse conceptuelle des énoncés en langue naturelle Chakkour, Fairouz In: Rencontres Jeunes Chercheurs en Intelligence Artificielle ; https://hal.inria.fr/inria-00099393 ; Rencontres Jeunes Chercheurs en Intelligence Artificielle, afia Association Francaise pour l'Intelligence Artificielle, 2000, Lyon, France, 16 p (2000) BASE Show details Page: 1 2 3

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