Showing 1 - 7 results of 7 for search '', query time: 0.02s Refine Results
  1. 1
    Proceedings of the 12th International Conference on Artificial Intelligence and Law
    Published 2009
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
    Published 2011
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
    Published 2000
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 4
    Proceedings of the 5th ACM workshop on Programming languages meets program verification
    Published 2011
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 5
    Proceedings of the 7th International Workshop on Satisfiability Modulo Theories
    Published 2009
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 6
    Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice
    Published 2013
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  7. 7
    Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
    Published 2009
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search