Showing 1 - 20 results of 32 for search '', query time: 0.04s Refine Results
  1. 1
    A first course in formal logic and its applications in computer science
    by Dowsing, R.D
    Published 1986
    Book
  2. 2
    Arithmetic complexity of computations
    by Winograd, Shmuel
    Published 1980
    Book
  3. 3
    Automata and computability /
    by Kozen, Dexter 1951-
    Published 1997
    Book
  4. 4
    Automated reasoning introduction and applications
    by Wos, Larry
    Published 1984
    Book
  5. 5
    Basic calculations for chemical and biological analysis
    by Efiok, Bassey J. S.
    Published 1993
    Book
  6. 6
    Computability and complexity from a programming perpective
    by Jones, Neil D.
    Published 1997
    Book
  7. 7
    Computing in Horn clause theories
    by Padawitz, Peter
    Published 1988
    Book
  8. 8
    Differential equations and mathematical biology
    by Jones, D. S. (Douglas Samuel)
    Published 2003
    Book
  9. 9
    DNA computing new computing paradigms
    by Paun, G.
    Published 1998
    Book
  10. 10
    Dynamic macroeconomic theory
    by Sargent, Thomas J.
    Published 1987
    Book
  11. 11
    Econometrics of qualitative variables
    by Gourieroux, Christian
    Published 2000
    Book
  12. 12
    Equity, incentives, and taxation
    by Tillmann, Georg
    Published 1989
    Book
  13. 13
    Extrapolation methods theory and practice
    by Brezinski, Claude
    Published 1991
    Book
  14. 14
    First-order logic and automated theorem proving /
    by Fitting, Melvin 1942-
    Published 1996
    Book
  15. 15
    Foundations for programming languages
    by Mitchell, John C.
    Published 1996
    Book
  16. 16
    An introduction to computational learning theory :
    by Kearns, Michael J.
    Published 1994
    Book
  17. 17
    Introduction to the theory of computation
    by Sipser, Michael
    Published 1996
    Book
  18. 18
    Introduction to the theory of computation
    by Sipser, Michael
    Published 1996
    Book
  19. 19
    Linear programminf and economic analysis
    by Dorfam, Robert
    Published 1958
    Book
  20. 20
    Models of computation and formal languages R. Gregory Taylor
    by Taylor, R. Gregory
    Published 1998
    Book
Search Tools: RSS Feed – Email Search