Showing 11 - 20 results of 37 for search '"Mathematical logic."', query time: 0.02s Refine Results
  1. 11

    Deducibility and decidability by Rockingham, Gill R. R.

    Published 1990
    Book

    Deducibility and decidability
  2. 12

    Deducibility and decidability by Gill, R.R. Rockingham

    Published 1990
    Book

    Deducibility and decidability
  3. 13

    Logic for computer science by Reeves, Steve 1957-

    Published 1990
    Book

    Logic for computer science
  4. 14

    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
  5. 15

    Model theory of fields decidability, and bounds for polynomial ideals by Van Den Dries, L.P.D. (Laurentius Petrus Dignus)

    Published 1978
    Book

    Model theory of fields decidability, and bounds for polynomial ideals
  6. 16

    Degrees of unsolvability. by Sacks, Gerald E.

    Published 1963
    Book

    Degrees of unsolvability.
  7. 17

    Disjunctive datalog. by Eiter, Thomas

    Article

    Disjunctive datalog.
  8. 18

    Software verification and validation with destiny a parallel approach to automated theorem proving. by Dykstra, Josiah

    Article

    Software verification and validation with destiny a parallel approach to automated theorem proving.
  9. 19

    Relational expressive power of constraint query languages. by Benedikt, Michael

    Published in Journal of the ACM
    Article

    Relational expressive power of constraint query languages.
  10. 20

    Probabilistic checking of proofs a new characterization of NP. by Arora, Sanjeev

    Published in Journal of the ACM
    Article

    Probabilistic checking of proofs a new characterization of NP.

Search Tools: