Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εμφανίζονται 1 - 20 Αποτελέσματα από 42 για την αναζήτηση '', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Logic for computer science and artificial intelligence /
    ανά Caferra, Ricardo
    Έκδοση 2011
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  2. 2
    Proofs and algorithms : an introduction to logic and computability /
    ανά Dowek, Gilles
    Έκδοση 2011
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  3. 3
    Introductory logic and sets for computer scientists /
    ανά Nissanke, Nimal
    Έκδοση 1999
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  4. 4
    Microsoft visual basic programs to accompany programming logic and design /
    ανά Smith, Jo Ann
    Έκδοση 2013
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  5. 5
    Logical problem solving before the flowchart with C++ and visual basic applications /
    ανά Lamey, Robert
    Έκδοση 2002
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  6. 6
    Logic-based artificial intelligence /
    Έκδοση 2000
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  7. 7
    Dynamic logic /
    ανά Harel, David
    Έκδοση 2000
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  8. 8
    Computer science logic /
    Έκδοση 2000
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  9. 9
    Handbook of practical logic and automated reasoning /
    ανά Harrison, John
    Έκδοση 2009
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  10. 10
    Computational logic in multi-agent systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers /
    Έκδοση 2005
    SpringerLink
    Πρακτικό Συνεδρίου Ηλ. βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  11. 11
    Computer science logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
    Έκδοση 2005
    SpringerLink
    Πρακτικό Συνεδρίου Ηλ. βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  12. 12
    Computational logic in multi-agent systems (vol. # 3900) : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers /
    Έκδοση 2006
    Click here to view the full text content
    Πρακτικό Συνεδρίου Ηλ. βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  13. 13
    Computer science logic (vol. # 4207) : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /
    Click here to view the full text content
    Ηλ. βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  14. 14
    Automated reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
    Έκδοση 2006
    Click here to view the full text content
    Πρακτικό Συνεδρίου Ηλ. βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  15. 15
    Dag Prawitz on Proofs and Meaning /
    Έκδοση 2015
    Click here to view the full text content
    Ηλ. βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  16. 16
    Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
    Έκδοση 2015
    Click here to view the full text content
    Ηλ. βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  17. 17
    FM 2015: Formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
    Έκδοση 2015
    Click here to view the full text content
    Ηλ. βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  18. 18
    Computation engineering : applied automata theory and logic /
    ανά Gopalakrishnan, Ganesh
    Έκδοση 2006
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  19. 19
    Logic functions and equations : binary models for computer science /
    ανά Posthoff, Christian
    Έκδοση 2004
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  20. 20
    Logic for learning : learning comprehensive theories from structured data /
    ανά Lloyd, John W.
    Έκδοση 2003
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email – Αποθήκευση αναζήτησης