Search Results - Wright, J.

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
  2. 2

    Theorem proving in higher order logics 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings

    Published 1996
    Other Authors: “…Wright, J.…”
    Conference Proceeding Book
  3. 3

    Civil and environmental systems engineering by ReVelle, Charles

    Published 1997
    Other Authors: “…Wright, J. R. (Jeff R.)…”
    Book