Suggested Topics within your search.
Showing 1 - 2 results of 2 for search '"Texts in theoretical computer science."' Refine Results
  1. 1
    The resolution calculus / Alexander Leitsch.
    by Leitsch, Alexander
    Published 1997
    “...Texts in theoretical computer science...”
    Book
    Save to List
    Saved in:
  2. 2
    Interactive theorem proving and program development : Coq'Art - the calculus of inductive constructions / Yves Bertot and Pierre Castèran.
    by Bertot, Yves
    Published 2004
    “...Texts in theoretical computer science...”
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search