Εμφανίζονται 1 - 9 Αποτελέσματα από 9 για την αναζήτηση 'Apt, Krzysztof', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 1
    Verification of sequential and concurrent programs
    ανά Apt, Krzysztof
    Έκδοση 1997
    Βιβλίο
  2. 2
    Verification of Sequential and Concurrent Programs
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    From logic programming to prolog
    Έκδοση 1997
    Άλλοι συγγραφείς: “…Apt, Krzysztof…”
    Βιβλίο
  4. 4
    The logic programming paradigm A 25-year perspective
    Έκδοση 1999
    Άλλοι συγγραφείς: “…Apt, Krzysztof…”
    Βιβλίο
  5. 5
    Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
    Έκδοση 2011
    Άλλοι συγγραφείς: “…Apt, Krzysztof R.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 6
    Logics and models of concurrent systems /
    Έκδοση 1985
    Άλλοι συγγραφείς: “…Apt, Krzysztof R., 1949-…”
    Πρακτικό Συνεδρίου Βιβλίο
  7. 7
    Integration of functional and logic programming Dagstuhl-Seminar-Report; 10 18.-22.3.1991(9112)
    Άλλοι συγγραφείς: “…Apt, Krzysztof…”
    Βιβλίο
  8. 8
    New Trends in Constraints Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers /
    Έκδοση 2000
    Άλλοι συγγραφείς: “…Apt, Krzysztof R.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Selected Papers /
    Έκδοση 2004
    Άλλοι συγγραφείς: “…Apt, Krzysztof R.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email