Showing 1 - 1 results of 1 for search 'Gallier, Jean H; Author', query time: 0.05s Refine Results
  1. 1
    Logic for computer science: foundations of automatic theorem proving
    by Gallier, Jean H; Author
    Published 1987
    Printed Book
Search Tools: Get RSS Feed — Email this Search