Showing 1 - 20 results of 540 for search '"Reasoner"', query time: 0.05s Refine Results
  1. 1
    Σημασιολογική μοντελοποίηση συμπεριφοράς και μηχανισμός πρόβλεψης απόδοσης εκπαιδευομένων σε συστήματα ανοικτής και εξ' αποστάσεως εκπαίδευσης
    Subjects: “…Reasoner…”
    Get full text
    Thesis
  2. 2
    Rationality through reasoning /
    by Broome, John, 1947-
    Published 2013
    Subjects: “…Reasoning.…”
    Full Text via HEAL-Link
    eBook
  3. 3
    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
  4. 4
    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
  5. 5
    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
  6. 6
    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
  7. 7
    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
  8. 8
    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
  9. 9
    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
  10. 10
    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
  11. 11
    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
  12. 12
    Case-based reasoning : processes, suitability and applications ; Antonia M. Leeland, editor.
    Published 2011
    Subjects: “…Reasoning…”
    Book
  13. 13
    Ends in themselves and the predisposition to personality : reappraising the grounds of unconditional value in Kantian thought
    Subjects: “…Empirical reason…”
    Get full text
    Thesis
  14. 14
    Knowledge representation and reasoning
    Subjects: “…Automated Reasoning…”
    Get full text
    7
  15. 15
    Οντολογίες και Περιγραφικές Λογικές
    Subjects: “…Automated Reasoning…”
    Get full text
    7
  16. 16
    Οντολογίες και μοντέλα
    Subjects: “…Automated Reasoning…”
    Get full text
    Experiment
  17. 17
    Πρόσβαση σε δεδομένα με χρήση οντολογιών
    Subjects: “…Automated Reasoning…”
    Get full text
    7
  18. 18
    Αυτόματη συλλογιστική σε οντολογίες
    Subjects: “…Automated Reasoning…”
    Get full text
    7
  19. 19
    Σημασιολογικά δεδομένα και Παγκόσμιος Ιστός
    Subjects: “…Automated Reasoning…”
    Get full text
    7
  20. 20
    Αναπαράσταση οντολογικής γνώσης και συλλογιστική
    Subjects: “…Automated Reasoning…”
    Get full text
    Get full text
    1
Search Tools: RSS Feed – Email Search