Suggested Topics within your search.
Showing 1 - 2 results of 2 for search '"Texts in theoretical computer science"', query time: 0.01s Refine Results
  1. 1
    Interactive theorem proving and program development :

    Interactive theorem proving and program development : by Bertot, Yves

    Published 2004
    “…Texts in theoretical computer science…”
    Book
    Save to List
    Saved in:
  2. 2
    Extremal combinatorics :

    Extremal combinatorics : by Jukna, Stasys 1953-

    Published 2001
    “…Texts in theoretical computer science…”
    Book
    Save to List
    Saved in:

Search Tools: