Εμφανίζονται 1 - 20 Αποτελέσματα από 647 για την αναζήτηση '"logic programming"', χρόνος αναζήτησης: 0,19δλ Περιορισμός αποτελεσμάτων
  1. 1
    Logic Programming 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… at Constraint-Based Concurrency -- Probabilistic Databases and Logic Programming -- Conference Papers…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Logic Programming 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… for Deductive Databases by Logic Programming -- Reasoning about Actions with CHRs and Finite Domain Constraints…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Logic Programming 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Programmers -- A Logic Programming View of Authorization in Distributed Systems -- Compositional Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Logic Programming 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… and Tabled Execution -- Possible Worlds Semantics for Probabilistic Logic Programs -- Limiting Resolution…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “…Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…Invited Talks -- Experiences Using Logic Programming in Bioinformatics -- A Knowledge Base System…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Logic programming operational semantics and proof theory
    ανά Andrews, James H.
    Έκδοση 1992
    Βιβλίο
  11. 11
    Logic programming formal methods and practical aplications
    Έκδοση 1995
    Βιβλίο
  12. 12
    Logic programming Proceedings of the 5th International Conference and Symposium
    Έκδοση 1988
    Θέματα: “…LOGIC PROGRAMMING 113457…”
    Βιβλίο
  13. 13
    Logic programming Proceedings of the 5th International Conference and Symposium
    Έκδοση 1988
    Θέματα: “…LOGIC PROGRAMMING 113457…”
    Βιβλίο
  14. 14
    Logic programming Proceedings of the 4th Conference. Tokyo, Japan, July 1-3, 1985.
    Έκδοση 1986
    Θέματα: “…LOGIC PROGRAMMING 113457…”
    Βιβλίο
  15. 15
    Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
    Έκδοση 1987
    Θέματα: “…LOGIC PROGRAMMING 113457…”
    Βιβλίο
  16. 16
    Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
    Έκδοση 1987
    Θέματα: “…LOGIC PROGRAMMING 113457…”
    Βιβλίο
  17. 17
    Logic programming
    Έκδοση 1982
    Θέματα: “…LOGIC PROGRAMMING 113457…”
    Βιβλίο
  18. 18
    Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Inductive Logic Programming 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- At the Interface of Inductive Logic Programming and Statistics -- From Promising to Profitable Applications of ILP…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Inductive Logic Programming 7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… Programming problems -- Inductive logic programming and constraint logic programming (abstract) -- Learning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email