Εμφανίζονται 1 - 20 Αποτελέσματα από 540 για την αναζήτηση '"Reasoning"', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  1. 1
    Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
    Έκδοση 1995
    Θέματα: “…Semantics and reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 2
    Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
    Έκδοση 2016
    Θέματα: “…Program reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 3
    Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
    Έκδοση 2016
    Θέματα: “…Semantics and reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 4
    Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation
    Έκδοση 2005
    Θέματα: “…Program reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 5
    Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 2006
    Θέματα: “…Semantics and reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 6
    Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
    Έκδοση 2011
    Θέματα: “…Program reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 7
    Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 2004
    Θέματα: “…Semantics and reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 8
    Proceedings of the 4th international workshop on Types in language design and implementation
    Έκδοση 2009
    Θέματα: “…Program reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 9
    Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
    Έκδοση 2008
    Θέματα: “…Program reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 10
    Case-based reasoning : processes, suitability and applications ; Antonia M. Leeland, editor.
    Έκδοση 2011
    Θέματα: “…Reasoning…”
    Βιβλίο
  11. 11
    Knowledge representation and reasoning
    Θέματα: “…Automated Reasoning…”
    Λήψη πλήρους κειμένου
    7
  12. 12
    Οντολογίες και Περιγραφικές Λογικές
    Θέματα: “…Automated Reasoning…”
    Λήψη πλήρους κειμένου
    7
  13. 13
    Οντολογίες και μοντέλα
    Θέματα: “…Automated Reasoning…”
    Λήψη πλήρους κειμένου
    Experiment
  14. 14
    Πρόσβαση σε δεδομένα με χρήση οντολογιών
    Θέματα: “…Automated Reasoning…”
    Λήψη πλήρους κειμένου
    7
  15. 15
    Αυτόματη συλλογιστική σε οντολογίες
    Θέματα: “…Automated Reasoning…”
    Λήψη πλήρους κειμένου
    7
  16. 16
    Σημασιολογικά δεδομένα και Παγκόσμιος Ιστός
    Θέματα: “…Automated Reasoning…”
    Λήψη πλήρους κειμένου
    7
  17. 17
    Αναπαράσταση οντολογικής γνώσης και συλλογιστική
    Θέματα: “…Automated Reasoning…”
    Λήψη πλήρους κειμένου
    Λήψη πλήρους κειμένου
    1
  18. 18
    Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
    Έκδοση 2003
    Θέματα: “…Semantics and reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  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)
    Έκδοση 2014
    Θέματα: “…Program reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  20. 20
    Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 1996
    Θέματα: “…Semantics and reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email