Showing 1 - 6 results of 6 for search 'Caferra, Ricardo, 1945-', query time: 0.02s Refine Results
  1. 1
    Logic for computer science and artificial intelligence /

    Logic for computer science and artificial intelligence / by Caferra, Ricardo, 1945-

    Published 2011
    Full Text (via O'Reilly/Safari)
    eBook
    Save to List
    Saved in:
  2. 2
    Logic for computer science and artificial intelligence /

    Logic for computer science and artificial intelligence / by Caferra, Ricardo, 1945-

    Published 2011
    Book
    Save to List
    Saved in:
  3. 3
    Logic for computer science and artificial intelligence /

    Logic for computer science and artificial intelligence / by Caferra, Ricardo, 1945-

    Published 2011
    Full Text (via Wiley)
    eBook
    Save to List
    Saved in:
  4. 4
    Automated model building /

    Automated model building / by Caferra, Ricardo, 1945-, Leitsch, Alexander, 1952-, Peltier, Nicholas

    Published 2004
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  5. 5
    Automated deduction in classical and non-classical logics : selected papers /

    Automated deduction in classical and non-classical logics : selected papers /

    Published 2000
    Other Authors: “…Caferra, Ricardo, 1945-…”
    Book
    Save to List
    Saved in:
  6. 6
    Automated deduction in classical and non-classical logics : selected papers /

    Automated deduction in classical and non-classical logics : selected papers /

    Published 2000
    Other Authors: “…Caferra, Ricardo, 1945-…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search