Εμφανίζονται 1 - 20 Αποτελέσματα από 126.275 για την αναζήτηση '"computability"', χρόνος αναζήτησης: 0,16δλ Περιορισμός αποτελεσμάτων
  1. 1
    Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
    Έκδοση 2014
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 2
    Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
    Έκδοση 2005
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 3
    Proceedings of the second annual workshop on Computational learning theory
    Έκδοση 1989
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 4
    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
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 5
    Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming
    Έκδοση 2010
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 6
    ACM Turing Centenary Celebration
    Έκδοση 2012
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Proceedings of the second ACM SIGPLAN international conference on Functional programming
    Έκδοση 1997
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 8
    Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
    Έκδοση 2016
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 9
    Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
    Έκδοση 2016
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 10
    Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 1997
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 11
    Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 2001
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 12
    Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 1999
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 13
    Theories of computability /
    ανά Pippenger, Nicholas
    Έκδοση 1997
    Βιβλίο
  14. 14
    Computability and unsolvability
    ανά Davis, Martin, 1928-
    Έκδοση 1982
    Βιβλίο
  15. 15
    Proceedings of the Fourth International Conference on Engineering & MIS 2018
    Έκδοση 2018
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 16
    Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
    Έκδοση 2009
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  17. 17
    Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
    Έκδοση 2009
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  18. 18
    Proceedings of the eighth international symposium on Multiple-valued logic
    Έκδοση 1978
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning
    Έκδοση 2008
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  20. 20
    Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
    Έκδοση 2006
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email