Showing 1 - 2 results of 2 for search 'Gallier, Jean H.', query time: 0.04s Refine Results
  1. 1

    Geometric methods and applications for computer science and engineering by Gallier, Jean H.

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Geometric methods and applications for computer science and engineering
  2. 2

    Logic for computer science foundations of automatic theorem proving by Gallier, Jean H.

    Published 1986
    Book

    Logic for computer science foundations of automatic theorem proving

Search Tools: