Εμφανίζονται 421 - 440 Αποτελέσματα από 647 για την αναζήτηση '"logic programming"', χρόνος αναζήτησης: 0,16δλ Περιορισμός αποτελεσμάτων
  1. 421
    Foundations of Intelligent Systems 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Home Simulation and Control -- Aggregates and Preferences in Logic Programming -- The Chisholm Paradox…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 422
    Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 423
    978-3-031-10769-6.pdf
    Έκδοση 2022
    Λήψη πλήρους κειμένου
  4. 424
    An Introduction to Machine Learning
    ανά Kubat, Miroslav
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 425
    Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 426
    Compiler Design Virtual Machines /
    ανά Wilhelm, Reinhard, Seidl, Helmut
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 427
    Foundations of Programming Languages
    ανά Lee, Kent D.
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 428
    Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Tabling for Higher-Order Logic Programming -- A Focusing Inverse Method Theorem Prover for First-Order…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 429
    Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 430
    Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 431
    Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 432
    978-3-030-79876-5.pdf
    Έκδοση 2021
    Λήψη πλήρους κειμένου
  13. 433
    978-3-031-38499-8.pdf
    Έκδοση 2023
    Λήψη πλήρους κειμένου
  14. 434
    Logical Foundations of Computer Science 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… forward chaining construction for logic programs -- Decidability and undecidability of the halting problem…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 435
    Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Model Based on Logic Inference -- Comingle: Distributed Logic Programming for Decentralized Mobile…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 436
    Foundations of Software Science and Computation Structures Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… with Recursion -- A Strong Logic Programming View for Static Embedded Implications -- Unfolding and Event…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 437
    Foundations of Information and Knowledge Systems First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… by Losing Information -- High-Level Logic Programming -- Clausal Deductive Databases and a General Framework…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 438
    Multi-Agent Systems and Applications 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001. Selected Tutorial Papers /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… in Multi-agent Systems -- Machine Learning and Inductive Logic Programming for Multi-agent Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 439
    Rewriting Techniques and Applications 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… ELAN Compiler -- TALP: A Tool for the Termination Analysis of Logic Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 440
    Logic Based Program Synthesis and Transformation 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Transformation for Backwards Analysis of Logic Programs -- An Efficient Staging Algorithm for Binding-Time…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email