Suggested Topics within your search.
Showing 1 - 6 results of 6 for search '"Texts in theoretical computer science."' Refine Results
  1. 1
    Parameterized complexity theory / J. Flum, M. Grohe.
    by Flum, Jörg
    Published 2006
    “...Texts in theoretical computer science....”
    Book
    Save to List
    Saved in:
  2. 2
    The resolution calculus / Alexander Leitsch.
    by Leitsch, Alexander
    Published 1997
    “...Texts in theoretical computer science...”
    Book
    Save to List
    Saved in:
  3. 3
    Finite model theory and its applications / Eric Gradel ... [et al].
    Published 2007
    “...Texts in theoretical computer science...”
    Book
    Save to List
    Saved in:
  4. 4
    Elements of finite model theory / Leonid Libkin.
    by Libkin, Leonid
    Published 2004
    “...Texts in theoretical computer science...”
    Book
    Save to List
    Saved in:
  5. 5
    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:
  6. 6
    Boolean functions and computation models / Peter Clote, Evangelos Kranakis.
    by Clote, Peter
    Published 2002
    “...Texts in theoretical computer science...”
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search