Showing 1 - 20 results of 48,854 for search '"COMPUTABILITY"', query time: 0.12s Refine Results
  1. 1
    Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
    Published 2014
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
    Published 2005
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Proceedings of the second annual workshop on Computational learning theory
    Published 1989
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  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)
    Published 2014
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 5
    Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming
    Published 2010
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 6
    ACM Turing Centenary Celebration
    Published 2012
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Proceedings of the second ACM SIGPLAN international conference on Functional programming
    Published 1997
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 8
    Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
    Published 2016
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 9
    Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
    Published 2016
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  10. 10
    Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 1997
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 11
    Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 2001
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  12. 12
    Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 1999
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  13. 13
    Proceedings of the Fourth International Conference on Engineering & MIS 2018
    Published 2018
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  14. 14
    Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
    Published 2009
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  15. 15
    Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
    Published 2009
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  16. 16
    Proceedings of the eighth international symposium on Multiple-valued logic
    Published 1978
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning
    Published 2008
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  18. 18
    Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
    Published 2006
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
    Published 2016
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 20
    Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
    Published 2018
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search