Suggested Topics within your search.
Showing 1 - 5 results of 5 for search '"logic in computer science"', query time: 0.05s Refine Results
  1. 1
    Logic in computer science : modelling and reasoning about systems /

    Logic in computer science : modelling and reasoning about systems / by Huth, Michael, 1962-

    Published 2009
    Table of contents
    Publisher description
    Book
  2. 2
    Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /

    Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /

    Published 1990
    Book
  3. 3
    Handbook of logic in computer science /

    Handbook of logic in computer science /

    Published 1992
    “…Handbooks of logic in computer science and artificial intelligence and logic programming…”
    Book
  4. 4
    Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht /

    Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht /

    Published 1997
    Book
  5. 5
    Advances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /

    Advances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /

    Published 1999
    Conference Proceeding Book

Search Tools: