Εμφανίζονται 1 - 20 Αποτελέσματα από 1.807 για την αναζήτηση '"COMPUTATIONAL LOGIC"', χρόνος αναζήτησης: 0,07δλ Περιορισμός αποτελεσμάτων
  1. 1
    A computational logic handbook
    ανά Boyer, Robert, Moore, J. Strother
    Έκδοση 1998
    Θέματα: “…COMPUTATIONAL LOGIC 113424…”
    Βιβλίο
  2. 2
    A Computational Logic Handbook
    ανά Moore, J. Strother, Boyer, Robert
    Έκδοση 1988
    Θέματα: “…COMPUTATIONAL LOGIC 113424…”
    Βιβλίο
  3. 3
    Logic in computer science Modelling and reasoning about systems
    ανά Huth, Michael, 1962-, Ryan, Mark, 1962-
    Έκδοση 2000
    Θέματα: “…COMPUTER LOGIC 119958…”
    Βιβλίο
  4. 4
    Solving higher-order equations From logic to programming
    ανά Prehofer, Christian
    Έκδοση 1998
    Θέματα: “…COMPUTER LOGIC 119958…”
    Βιβλίο
  5. 5
    Computer science logic Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229)
    Θέματα: “…COMPUTER LOGIC 119958…”
    Βιβλίο
  6. 6
    Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings /
    Έκδοση 2016
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Γέφυρα της γενικής λογιστικής με την εμπορική διαχείριση των πακέτων ορίζοντες της Computer logic.
    Έκδοση 1995
    Θέματα: “…COMPUTER LOGIC…”
    Λήψη πλήρους κειμένου
    Βιβλίο
  8. 8
    Logic for computer science and artificial intelligence /
    ανά Caferra, Ricardo, 1945-
    Έκδοση 2011
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  9. 9
    Γενική λογιστική της Computer Logic και εικόνα επιχείρησης /
    Έκδοση 1997
    Θέματα: “…COMPUTER LOGIC…”
    Λήψη πλήρους κειμένου
    Βιβλίο
  10. 10
    Krister Segerberg on Logic of Actions
    Έκδοση 2014
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Dag Prawitz on Proofs and Meaning
    Έκδοση 2015
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Introduction to the Theory of Programming Languages
    ανά Dowek, Gilles, Lévy, Jean-Jacques
    Έκδοση 2011
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Validation of Evolving Software
    Έκδοση 2015
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Transactions on Petri Nets and Other Models of Concurrency XI
    Έκδοση 2016
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Transactions on Petri Nets and Other Models of Concurrency X
    Έκδοση 2015
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Transactions on Petri Nets and Other Models of Concurrency VIII
    Έκδοση 2013
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
    Έκδοση 2013
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Transactions on Petri Nets and Other Models of Concurrency IX
    Έκδοση 2014
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    The 2-tuple Linguistic Model Computing with Words in Decision Making /
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Understanding Concurrent Systems
    ανά Roscoe, A.W
    Έκδοση 2010
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email