Showing 1 - 20 results of 151 for search '"Automated reasoning"', query time: 0.11s Refine Results
  1. 1
    Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings /
    Published 2001
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings /
    Published 2004
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
    Published 2008
    Table of Contents: “… High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings /
    Published 2010
    Table of Contents: “… - Automated Reasoner for Sets and Multisets -- A Slice-Based Decision Procedure for Type-Based Partial Orders…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /
    Published 2018
    Table of Contents: “… Higher-Order Logic -- Automated Reasoning about Key Sets -- A Tableaux Calculus for Reducing Proof Size…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
    by Giesl, JΓΌrgen
    Published 2010
    Get full text
    Electronic Kit Book
  11. 11
    Automated reasoning introduction and applications
    by Wos, Larry
    Published 1984
    Book
  12. 12
    Automated reasonic 33 basic research problems
    by Wos, Larry
    Published 1988
    Book
  13. 13
    Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
    Published 2017
    Subjects: “…Automated reasoning…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  14. 14
    Automated Reasoning and Mathematics Essays in Memory of William W. McCune /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Logic for Programming and Automated Reasoning 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings /
    Published 2000
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings /
    Published 1999
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Knowledge representation and reasoning
    Subjects: “…Automated Reasoning…”
    Get full text
    7
  18. 18
    Οντολογίες και Περιγραφικές Λογικές
    Subjects: “…Automated Reasoning…”
    Get full text
    7
  19. 19
    Οντολογίες και μοντέλα
    Subjects: “…Automated Reasoning…”
    Get full text
    Experiment
  20. 20
    Πρόσβαση σε δεδομένα με χρήση οντολογιών
    Subjects: “…Automated Reasoning…”
    Get full text
    7
Search Tools: RSS Feed – Email Search