Showing 1 - 20 results of 30 for search 'Vaughan, R', query time: 0.06s Refine Results
  1. 1
    Microwave remote sensing for oceanographic and marine weather forecast models /

    Microwave remote sensing for oceanographic and marine weather forecast models / by Vaughan, R. A.

    Published 1990
  2. 2
    Remote sensing applications in meteorology and climatology/

    Remote sensing applications in meteorology and climatology/ by Vaughan, R. A.

    Published 1987
  3. 3
    A Near-optimal Method for Reasoning About Action

    A Near-optimal Method for Reasoning About Action by Pratt, Vaughan R.

    Published 2023
    Get full text
  4. 4
    Applications of Modal Logic to Programming

    Applications of Modal Logic to Programming by Pratt, Vaughan R.

    Published 2023
    Get full text
  5. 5
    Six Lectures on Dynamic Logic

    Six Lectures on Dynamic Logic by Pratt, Vaughan R.

    Published 2023
    Get full text
  6. 6
    Dynamic Algebras: Examples, Constructions, Application

    Dynamic Algebras: Examples, Constructions, Application by Pratt, Vaughan R.

    Published 2023
    Get full text
  7. 7
    Dynamic Algebras and the Nature of Induction

    Dynamic Algebras and the Nature of Induction by Pratt, Vaughan R.

    Published 2023
    Get full text
  8. 8
    Semantical Considerations on Floyd-Hoare Logic

    Semantical Considerations on Floyd-Hoare Logic by Pratt, Vaughan R.

    Published 2023
    Get full text
  9. 9
    CGOL - an Alternative External Representation For LISP users

    CGOL - an Alternative External Representation For LISP users by Pratt, Vaughan R.

    Published 2008
    Get full text
    Working Paper
  10. 10
    The Competence/Performance Dichotomy in Programming

    The Competence/Performance Dichotomy in Programming by Pratt, Vaughan R.

    Published 2004
    Get full text
  11. 11
    A Linguistics Oriented Programming Language

    A Linguistics Oriented Programming Language by Pratt, Vaughan R.

    Published 2004
    Get full text
  12. 12
    Basic control volume finite element methods for fluids and solids /

    Basic control volume finite element methods for fluids and solids / by 497988 Voller, Vaughan R.

    Published 2009
  13. 13
    Nondeterminism in Logics of Programs

    Nondeterminism in Logics of Programs by Harel, David, Pratt, Vaughan R.

    Published 2023
    Get full text
  14. 14
    The Mutual Exclusion Problem for Unreliable Processes

    The Mutual Exclusion Problem for Unreliable Processes by Rivest, Ronald L., Pratt, Vaughan R.

    Published 2023
    Get full text
  15. 15
    Computability and Completeness in Logics of Programs

    Computability and Completeness in Logics of Programs by Harel, David, Meyer, Albert R., Pratt, Vaughan R.

    Published 2023
    Get full text
  16. 16
    Electron spin relaxation phenomena in solids /

    Electron spin relaxation phenomena in solids / by 443587 Standley, K. J., Vaughan, R. A. (Robin Antony)

    Published 1969
  17. 17
    Remote sensing of vegetation : principles, techniques, and applications /

    Remote sensing of vegetation : principles, techniques, and applications / by 484695 Jones, Hamlyn G., Vaughan, R. A. (Robin Antony)

    Published 2010
  18. 18
    A theoretical modeling framework for motile and colonial harmful algae

    A theoretical modeling framework for motile and colonial harmful algae by Jackie Taylor, M. Carme Calderer, Miki Hondzo, Vaughan R. Voller

    Published 2022-07-01
    Get full text
    Article
  19. 19
    MHC class I chain-like gene A (MICA) and its associations with inflammatory bowel disease and peripheral arthropathy.

    MHC class I chain-like gene A (MICA) and its associations with inflammatory bowel disease and peripheral arthropathy. by Orchard, T, Dhar, A, Simmons, J, Vaughan, R, Welsh, K, Jewell, D

    Published 2001
    Journal article
  20. 20
    DQB1*0301 is significantly associated with all subgroups of mucous membrane pemphigoid.

    DQB1*0301 is significantly associated with all subgroups of mucous membrane pemphigoid. by Setterfield, J, Shirlaw, P, Vaughan, R, Welsh, K, Wojnarowska, F, Black, M, Challacombe, S

    Published 1997
    Journal article

Search Tools: