Showing 1 - 2 results of 2 for search '"Computer systems Programming Applications of mathematical logic."', query time: 0.02s Refine Results
  1. 1

    Logic for computer science by Reeves, Steve 1957-

    Published 1990
    Book

    Logic for computer science
  2. 2

    Clausal form logic an introduction to the logic of computer reasoning by Richards, Tom

    Published 1989
    Book

    Clausal form logic an introduction to the logic of computer reasoning

Search Tools: