Εμφανίζονται 1 - 20 Αποτελέσματα από 24 για την αναζήτηση '', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 1
    A first course in formal logic and its applications in computer science
    ανά Dowsing, R.D
    Έκδοση 1986
    Βιβλίο
  2. 2
    A textbook of belief dynamics theory change and database updating
    ανά Hansson, Sven Ove 1951-
    Έκδοση 1999
    Λήψη πλήρους κειμένου
    Βιβλίο
  3. 3
    Arithmetic complexity of computations
    ανά Winograd, Shmuel
    Έκδοση 1980
    Βιβλίο
  4. 4
    Automated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 proceedings
    Έκδοση 1992
    Βιβλίο
  5. 5
    Automated deduction - CADE-12 proceedings
    Έκδοση 1994
    Βιβλίο
  6. 6
    Category theory and computer science proceedings...[of] 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997
    Έκδοση 1997
    Βιβλίο
  7. 7
    Computability and complexity from a programming perpective
    ανά Jones, Neil D.
    Έκδοση 1997
    Βιβλίο
  8. 8
    Computational logic /
    Έκδοση 1999
    Πρακτικό Συνεδρίου Βιβλίο
  9. 9
    Domains and lambda-calculi
    ανά Amadio, Roberto M.
    Έκδοση 1998
    Βιβλίο
  10. 10
    Epistemic logic for AI and computer science
    ανά Meyer, John-Jules Ch
    Έκδοση 1995
    Βιβλίο
  11. 11
    Handbook of logic in artificial intelligence and logic programming /
    Έκδοση 1998
    Βιβλίο
  12. 12
    Handbook of logic in computer science /
    Έκδοση 1992
    Βιβλίο
  13. 13
    Handbook of mathematical logic /
    Έκδοση 1977
    Βιβλίο
  14. 14
    Logic and algebra of specification /
    Έκδοση 1993
    Πρακτικό Συνεδρίου Βιβλίο
  15. 15
    Logic for applications
    ανά Nerode, Anil 1932-
    Έκδοση 1997
    Βιβλίο
  16. 16
    Logic in computer science : modelling and reasoning about systems /
    ανά Huth, Michael, 1962-
    Έκδοση 2004
    Βιβλίο
  17. 17
    Logic of computation /
    Έκδοση 1997
    Πρακτικό Συνεδρίου Βιβλίο
  18. 18
    Logic programming and nonmonotonic reasoning proceedings
    Έκδοση 1995
    Βιβλίο
  19. 19
    Models of sharing graphs a categorical semantics of let and letrec
    ανά Hasegawa, Masahito
    Έκδοση 1999
    Βιβλίο
  20. 20
    Nonmonotonic logics basic concepts, results, and techniques
    ανά Schlechta, Karl
    Έκδοση 1997
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email