Search Results - "Graduate texts in computer science"

Suggested Topics within your search.
  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    First-order logic and automated theorem proving

    First-order logic and automated theorem proving by Fitting, Melvin 1942-

    Published 1996
    “…Graduate texts in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  2. 2
    A recursive introduction to theory of computation

    A recursive introduction to theory of computation by Smith, Carl H 1950 -

    Published 1994
    “…Graduates texts in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  3. 3
    Specification of software systems

    Specification of software systems by Alagar, Vangalur S. 1940-

    Published 1998
    “…Graduate texts in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:

Search Tools: