Showing 1 - 20 results of 8,090 for search '"reasoning"', query time: 0.19s Refine Results
  1. 1
    Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
    Published 1995
    Subjects: “…Semantics and reasoning…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
    Published 2016
    Subjects: “…Program reasoning…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
    Published 2016
    Subjects: “…Semantics and reasoning…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 4
    Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation
    Published 2005
    Subjects: “…Program reasoning…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 5
    Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 2006
    Subjects: “…Semantics and reasoning…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 6
    Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
    Published 2011
    Subjects: “…Program reasoning…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  7. 7
    Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 2004
    Subjects: “…Semantics and reasoning…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 8
    Proceedings of the 4th international workshop on Types in language design and implementation
    Published 2009
    Subjects: “…Program reasoning…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 9
    Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
    Published 2008
    Subjects: “…Program reasoning…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  10. 10
    Visuospatial Reasoning An Ecocultural Perspective for Space, Geometry and Measurement Education /
    by Owens, Kay
    Published 2015
    Table of Contents: “…Introduction: Visuospatial reasoning in context -- Visuospatial reasoning in 20th century…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Heuristic Reasoning
    Published 2015
    Table of Contents: “…Reasoning at the frontier of knowledge: Introductory essay -- Why should the logic of discovery…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings /
    Published 2001
    Table of Contents: “… with Concrete Domains -- Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
    Published 2016
    Table of Contents: “… Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Reasoning in Physics The Part of Common Sense /
    by Viennot, Laurence
    Published 2001
    Table of Contents: “…The main lines -- Physics: what is essential, what is natural? -- A trend in reasoning…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings /
    Published 2004
    Table of Contents: “… for Embedded Deduction -- System Description: E 0.81 -- Reasoning with Finite Structure -- Second-Order Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    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
  17. 17
    The Reasons for Underdevelopment The Case of Decolonisation in Somaliland /
    by Strangio, Donatella
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
    Published 2006
    Table of Contents: “… from Satisfiability to Knowledge Compilation -- Representing and Reasoning with Operational Semantics…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Reasoning Web Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures /
    Published 2006
    Table of Contents: “… -- Composition of Rule Sets and Ontologies -- Reasoning with Rules and Ontologies -- Integrating Ontologies…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Reasoning Robots The Art and Science of Programming Robotic Agents /
    by Thielscher, Michael
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search