Εμφανίζονται 1 - 20 Αποτελέσματα από 1.881 για την αναζήτηση '"computational logic"', χρόνος αναζήτησης: 0,20δλ Περιορισμός αποτελεσμάτων
  1. 1
    Optimization and Computational Logic
    ανά McAloon, Ken, Tretkoff, Carol
    Έκδοση 1996
    Βιβλίο
  2. 2
    Computational logic : essays in honor of Alan Robinson /
    Έκδοση 1991
    Βιβλίο
  3. 3
    Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /
    Έκδοση 1990
    Βιβλίο
  4. 4
    Computational logic /
    Έκδοση 1999
    Πρακτικό Συνεδρίου Βιβλίο
  5. 5
    Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /
    Έκδοση 1997
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Computational Logic - CL 2000 First International Conference London, UK, July 24-28, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “…Invited Papers -- Computational Logic: Memories of the Past and Challenges for the Future -- ILP…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… in Computational Logic -- Synthesis of Programs in Computational Logic -- Developing Logic Programs from…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Computational Logic and Set Theory Applying Formalized Logic to Analysis /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    A computational logic handbook
    ανά Boyer, Robert, Moore, J. Strother
    Έκδοση 1998
    Θέματα: “…COMPUTATIONAL LOGIC 113424…”
    Βιβλίο
  10. 10
    A Computational Logic Handbook
    ανά Moore, J. Strother, Boyer, Robert
    Έκδοση 1988
    Θέματα: “…COMPUTATIONAL LOGIC 113424…”
    Βιβλίο
  11. 11
    Computational Logic: Logic Programming and Beyond Essays in Honour of Robert A. Kowalski, Part I /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Logical Objects -- Logic Programming Languages for the Internet -- Higher-Order Computational Logic -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Constraints in Computational Logics: Theory and Applications International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures /
    Έκδοση 2001
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Computational Logic: Logic Programming and Beyond Essays in Honour of Robert A. Kowalski, Part II /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Programming -- DCGs: Parsing as Deduction? -- Statistical Abduction with Tabulation -- Computational Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… on Computational Logic -- Using Antimodels to Define Agents’ Strategy -- Multi-Agent FLUX for the Gold Mining…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings /
    Έκδοση 2013
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings /
    Έκδοση 2014
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings /
    Έκδοση 2011
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers /
    Έκδοση 2009
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings /
    Έκδοση 2010
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email