Search Results - "The Ellis Horwood series in computers and their applications ;"

  • Showing 1 - 12 results of 12
Refine Results
  1. 1
    The differential lambda-calculus

    The differential lambda-calculus by Ehrhard, Thomas, Regnier, Laurent

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    The Scott model of linear logic is the extensional collapse of its relational model

    The Scott model of linear logic is the extensional collapse of its relational model by Ehrhard, Thomas

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Mapping AGROVOC and the Chinese Agricultural Thesaurus: Definitions, tools, procedures

    Mapping AGROVOC and the Chinese Agricultural Thesaurus: Definitions, tools, procedures by Liang, A. C., Sini, M.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Optimal monitoring and management of a water storage

    Optimal monitoring and management of a water storage by Ioslovich, Ilya, Gutman, Per-Olof

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    A Neural Network based Approach for English to Hindi Machine Translation

    A Neural Network based Approach for English to Hindi Machine Translation by Mishra, R B

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    A formalised first-order confluence proof for the λ-calculus using one-sorted variable names

    A formalised first-order confluence proof for the λ-calculus using one-sorted variable names by Vestergaard, René, Brotherston, James

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Encoding left reduction in the [lamda]-calculus with interaction nets

    Encoding left reduction in the [lamda]-calculus with interaction nets by LIPPI, SYLVAIN

    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Investment portfolio formation using decision support system/Investiciju portfelio sudarymas naudojant sprendimu paramos sistema

    Investment portfolio formation using decision support system/Investiciju portfelio sudarymas naudojant sprendimu paramos sistema by Stasytyte, Viktorija

    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Investment portfolio formation using decision support system

    Investment portfolio formation using decision support system by Stasytytė, Viktorija

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Other Books Received

    Other Books Received

    Published in SIAM review
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    How to teach English with Technology

    How to teach English with Technology by Jesús García Laborda, Teresa Magal Royo

    Get full text
    Review
    Save to List
    Saved in:
  12. 12
    "Computers and Modern Language Studies", ed. by K.C. Cameron and others (Book Review)

    "Computers and Modern Language Studies", ed. by K.C. Cameron and others (Book Review) by Meara, Paul

    Get full text
    Review
    Save to List
    Saved in:

Search Tools: