Showing 1 - 20 results of 540 for search '"Reasoning."', query time: 0.04s 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
    Case-based reasoning : processes, suitability and applications ; Antonia M. Leeland, editor.
    Published 2011
    Subjects: “…Reasoning…”
    Book
  11. 11
    Knowledge representation and reasoning
    Subjects: “…Automated Reasoning…”
    Get full text
    7
  12. 12
    Οντολογίες και Περιγραφικές Λογικές
    Subjects: “…Automated Reasoning…”
    Get full text
    7
  13. 13
    Οντολογίες και μοντέλα
    Subjects: “…Automated Reasoning…”
    Get full text
    Experiment
  14. 14
    Πρόσβαση σε δεδομένα με χρήση οντολογιών
    Subjects: “…Automated Reasoning…”
    Get full text
    7
  15. 15
    Αυτόματη συλλογιστική σε οντολογίες
    Subjects: “…Automated Reasoning…”
    Get full text
    7
  16. 16
    Σημασιολογικά δεδομένα και Παγκόσμιος Ιστός
    Subjects: “…Automated Reasoning…”
    Get full text
    7
  17. 17
    Αναπαράσταση οντολογικής γνώσης και συλλογιστική
    Subjects: “…Automated Reasoning…”
    Get full text
    Get full text
    1
  18. 18
    Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
    Published 2003
    Subjects: “…Semantics and reasoning…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  19. 19
    Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
    Published 2014
    Subjects: “…Program reasoning…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 20
    Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 1996
    Subjects: “…Semantics and reasoning…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search