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

    Control, computation and information systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Pr...

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Control, computation and information systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings
  2. 12

    Real-world reasoning toward scalable, uncertain spatiotemporal, contextual and causal inference

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Real-world reasoning toward scalable, uncertain spatiotemporal, contextual and causal inference
  3. 13

    Logic and grammar essays dedicated to Alain Lecomte on the occasion of his 60th birthday

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Logic and grammar essays dedicated to Alain Lecomte on the occasion of his 60th birthday
  4. 14

    Handbook of practical logic and automated reasoning by Harrison, J. (John) 1966-

    Published 2009
    Book

    Handbook of practical logic and automated reasoning
  5. 15

    The calculus of computation decision procedures with applications to verification by Bradley, Aaron R.

    Published 2007
    Book

    The calculus of computation decision procedures with applications to verification
  6. 16

    Dynamic logic by Harel, David 1950-, Kozen, Dexter 1951-, Tiuryn, Jerzy

    Published 2000
    Click here to access thru EZproxy
    Click here to access
    Electronic Resource

    Dynamic logic
  7. 17

    A friendly introduction to mathematical logic by Leary, Christopher C.

    Published 2000
    Book

    A friendly introduction to mathematical logic
  8. 18

    A friendly introduction to mathematical logic. by Leary, Christopher C.

    Published 2000
    Book

    A friendly introduction to mathematical logic.
  9. 19

    Monadic datalog and the expressive power of languages for Web information extraction. by Gottlob, Georg

    Published in Journal of the ACM
    Article

    Monadic datalog and the expressive power of languages for Web information extraction.

Search Tools: