Εμφανίζονται 1 - 20 Αποτελέσματα από 43 για την αναζήτηση '', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 1
    First-order logic and automated theorem proving /
    ανά Fitting, Melvin 1942-
    Έκδοση 1990
    Βιβλίο
  2. 2
    Fuzzy logic η νέα επιστήμη
    ανά Kosko, Bart
    Έκδοση 1993
    Βιβλίο
  3. 3
    Introduction to circuit complexity : a uniform approach /
    ανά Vollmer, Heribert
    Έκδοση 1999
    Βιβλίο
  4. 4
    Outlines of a formalist philosophy of mathematics
    ανά Curry, Haskell B. 1900- (Haskell Brooks)
    Έκδοση 1958
    Βιβλίο
  5. 5
    Οι αντιλήψεις των μαθητών της Γ' Γυμνασίου για την τυχαιότητα και την πιθανότητα μέσω των «δυνητικών κόσμων» τους /
    Λήψη πλήρους κειμένου
    Thesis Βιβλίο
  6. 6
    Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων περίπτωση ACT-P
    ανά Κεραμύδας, Ελευθέριος
    Έκδοση 2004
    Λήψη πλήρους κειμένου
    Βιβλίο
  7. 7
    Ασαφή δίκτυα Petri
    ανά Κυρίτσης, Χαρίλαος
    Έκδοση 2008
    Λήψη πλήρους κειμένου
    Βιβλίο
  8. 8
    Ασκήσεις μαθηματικής λογικής /
    ανά Σκαλτσάς, Παναγιώτης
    Έκδοση 2002
    Βιβλίο
  9. 9
    Αυτόματα γλώσσες γραμματικές /
    ανά Μποζαπαλίδης, Συμεών
    Έκδοση 2010
    Βιβλίο
  10. 10
    Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών
    ανά Στεφανέας, Πέτρος Σ.
    Έκδοση 2001
    Βιβλίο
  11. 11
    Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων
    Λήψη πλήρους κειμένου
    Βιβλίο
  12. 12
    Δίκτυα Galois εισαγωγή, προσεγγίσεις και στατιστικές συνεπαγωγές
    ανά Τράντα, Αντωνία Ζ.
    Έκδοση 2009
    Λήψη πλήρους κειμένου
    Βιβλίο
  13. 13
    Εισαγωγή στη θεωρία υπολογισμού /
    ανά Sipser, Michael
    Έκδοση 2012
    Βιβλίο
  14. 14
    Εισαγωγή στη θεωρία υπολογισμού /
    ανά Sipser, Michael
    Έκδοση 2020
    Βιβλίο
  15. 15
    Εισαγωγή στη θεωρία υπολογισμού /
    ανά Sipser, Michael
    Έκδοση 2008
    Βιβλίο
  16. 16
    Εισαγωγή στη θεωρία υπολογισμού /
    ανά Sipser, Michael
    Έκδοση 2007
    Βιβλίο
  17. 17
    Εισαγωγή στη μαθηματική λογική /
    ανά Δρόσος, Κώστας Α.
    Έκδοση 2006
    Βιβλίο
  18. 18
    Εισαγωγή στη μαθηματική λογική
    Βιβλίο
  19. 19
    Εισαγωγή στην υπολογιστική
    ανά Τουρλάκης, Γιώργος
    Έκδοση 1994
    Βιβλίο
  20. 20
    Εφαρμογή των κινητικών δομών δεδομένων σε προβλήματα της υπολογιστικής γεωμετρίας
    ανά Τσιμά, Αλεξάνδρα
    Έκδοση 2006
    Λήψη πλήρους κειμένου
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email