Εμφανίζονται 1 - 20 Αποτελέσματα από 53 για την αναζήτηση '', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  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
    Petri nets Μοντέλα και η εφαρμογή τους στήν τεχνολογία λογισμικού. Διπλωματική εργασία.
    Βιβλίο
  6. 6
    Tractatus logico-philosophicus /
    ανά Wittgenstein, Ludwig, 1889-1951
    Έκδοση 2016
    Βιβλίο
  7. 7
    Tractatus logico-philosophicus
    ανά Wittgenstein, Ludwig, 1889-1951
    Έκδοση 1978
    Βιβλίο
  8. 8
    Tractatus logico-philosophicus /
    ανά Wittgenstein, Ludwig, 1889-1951
    Έκδοση 2021
    Βιβλίο
  9. 9
    Ο Wittgenstein και το Tracatus /
    ανά Morris, Michael (Michael Rowland)
    Έκδοση 2019
    Βιβλίο
  10. 10
    Οι αντιλήψεις των μαθητών της Γ' Γυμνασίου για την τυχαιότητα και την πιθανότητα μέσω των «δυνητικών κόσμων» τους /
    Λήψη πλήρους κειμένου
    Thesis Βιβλίο
  11. 11
    Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων περίπτωση ACT-P
    ανά Κεραμύδας, Ελευθέριος
    Έκδοση 2004
    Λήψη πλήρους κειμένου
    Βιβλίο
  12. 12
    Ασαφή δίκτυα Petri
    ανά Κυρίτσης, Χαρίλαος
    Έκδοση 2008
    Λήψη πλήρους κειμένου
    Βιβλίο
  13. 13
    Ασκήσεις μαθηματικής λογικής /
    ανά Σκαλτσάς, Παναγιώτης
    Έκδοση 2002
    Βιβλίο
  14. 14
    Αυτόματα γλώσσες γραμματικές /
    ανά Μποζαπαλίδης, Συμεών
    Έκδοση 2010
    Βιβλίο
  15. 15
    Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών
    ανά Στεφανέας, Πέτρος Σ.
    Έκδοση 2001
    Βιβλίο
  16. 16
    Αφορισμοί και εξομολογήσεις
    ανά Wittgenstein, Ludwig, 1889-1951
    Έκδοση 1993
    Βιβλίο
  17. 17
    Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων
    Λήψη πλήρους κειμένου
    Βιβλίο
  18. 18
    Δίκτυα Galois εισαγωγή, προσεγγίσεις και στατιστικές συνεπαγωγές
    ανά Τράντα, Αντωνία Ζ.
    Έκδοση 2009
    Λήψη πλήρους κειμένου
    Βιβλίο
  19. 19
    Εισαγωγή στη θεωρία υπολογισμού /
    ανά Sipser, Michael
    Έκδοση 2012
    Βιβλίο
  20. 20
    Εισαγωγή στη θεωρία υπολογισμού /
    ανά Sipser, Michael
    Έκδοση 2020
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email