Showing 1 - 2 results of 2 for search 'Caviness, Bob F.', query time: 0.02s Narrow Search
  1. 1
    EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings Volume 2: Research Contributions
    Published 1985
    Other Authors: “…Caviness, Bob F.…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Quantifier Elimination and Cylindrical Algebraic Decomposition
    Published 1998
    Other Authors: “…Caviness, Bob F.…”
    Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: