Suggested Topics within your search.
Showing 261 - 280 results of 3,724 for search '"Currys"', query time: 2.31s Refine Results
  1. 261
    A kaleidoscopic vision about university teaching
    Subjects: “...teoría curri¬cular...”
    Get full text
    Article
  2. 262
    Comparative Analysis of Chemical Composition, Antioxidant Activity and Quantitative Characterization of Some Phenolic Compounds in Selected Herbs and Spices in Different Solvent Extraction Systems
    Subjects: “...curry leaf...”
    Get full text
    Article
  3. 263
    Réalisabilité Classique et protocoles réseaux
    by Hesse, Philippe
    Published 2008
    Subjects: “...correspondance de Curry-Howard...”
    Get full text
    Get full text
  4. 264
    On-site professional development: using differentiation to support instruction in middle school science
    by Lightbody, Mary
    Published 2004
    Subjects: “...Curry/Samara Model...”
    Get full text
  5. 265
    Logique, Réalisabilité et Concurrence
    by Beffara, Emmanuel
    Published 2005
    Subjects: “...correspondance de Curry-Howard...”
    Get full text
    Get full text
  6. 266
    Academic Librarians Should Be Sensitive to Language and Cultural Barriers When Providing Reference Service to International Students. A review of: Curry, Ann and Deborah Copeman. “Reference Service to International Students: A Field Stimulation Research Study.” Journal of Academic Librarianship 31.5 (Sep. 2005): 409‐20.
    by Lorie A. Kloda
    Published 2006-12-01
    Get full text
    Article
  7. 267
    Logic-based techniques for program analysis and specification synthesis
    Subjects: “...Curry...”
    Get full text
    Doctoral Thesis
  8. 268
    Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X
    by Zunic, Dragisa
    Published 2007
    Subjects: “...correspondence de Curry-Howard...”
    Get full text
    Get full text
  9. 269
    Siewert solutions of transcendental equations, generalized Lambert functions and physical applications
    by Barsan Victor
    Published 2018-05-01
    Subjects: “...currie-weiss theory...”
    Get full text
    Article
  10. 270
    Identifying the generic competencies of Rugby Union referees
    by De Villiers, Anton
    Published 2013
    Subjects: “...Compusurem currie cup...”
    Get full text
    Get full text
    Get full text
  11. 271
    Réalisabilité et paramétricité dans les systèmes de types purs
    by Lasson, Marc
    Published 2012
    Subjects: “...Isomorphisme de curry-howard...”
    Get full text
  12. 272
    “Jerome at the BBC”: Subversion, caricature, and humanity in Three Men in a Boat
    by Dalbir Singh Sehmby
    Published 2014-10-01
    Subjects: “...tim curry...”
    Get full text
    Article
  13. 273
    Une Théorie des Constructions Inductives
    by Werner, Benjamin
    Published 1994
    Subjects: “...Isomorphisme de Curry-Howard...”
    Get full text
    Get full text
  14. 274
    Paranada: Beyond Beyond
    by Hector Currie, Juan Pacheco
    Published 2009-06-01
    Subjects: “...Hector Currie...”
    Get full text
    Article
  15. 275
    Normalisation & Equivalence en Théorie de la Démonstration & Théorie des Types
    by Lengrand, Stéphane
    Published 2006
    Subjects: “...Correspondance de Curry-Howard...”
    Get full text
    Get full text
  16. 276
    λ-calcul différentiel et logique classique : interactions calculatoires
    by Vaux, Lionel
    Published 2007
    Subjects: “...correspondance de Curry-Howard...”
    Get full text
    Get full text
  17. 277
    Séquents qu'on calcule: de l'interprétation du calcul des séquents comme calcul de lambda-termes et comme calcul de stratégies gagnantes
    by Herbelin, Hugo
    Published 1995
    Subjects: “...correspondance de Curry-Howard...”
    Get full text
    Get full text
  18. 278
    Programmation fonctionnelle certifiée : <br />L'extraction de programmes dans l'assistant Coq
    by Letouzey, Pierre
    Published 2004
    Subjects: “...Isomorphisme de Curry-Howard...”
    Get full text
    Get full text
  19. 279
    Die geskiedenis van Boerekos 1652-1806
    by Claassens, Hester Wilhelmina
    Published 2013
    Subjects: “...Curry...”
    Get full text
    Get full text
    Get full text
  20. 280
    Investigations classiques, complexes et concurrentes à l'aide de la logique linéaire
    by Laurent, Olivier
    Published 2010
    Subjects: “...correspondance de Curry-Howard...”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search