Εμφανίζονται 661 - 680 Αποτελέσματα από 1.399 για την αναζήτηση '"λογική"', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 661
    Από τη λογική στο λογικό προγραμματισμό και την Prolog
    ανά Μητακίδης, Γιώργος
    Έκδοση 1992
    Βιβλίο
  2. 662
    Το μεταμοντέρνο, ή, Η πολιτισμική λογική του ύστερου καπιταλισμού /
    ανά Jameson, Fredric
    Έκδοση 1999
    Βιβλίο
  3. 663
    Handbook of logic in artificial intelligence and logic programming /
    Έκδοση 1998
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  4. 664
    Introduction to the theory of computation
    ανά Sipser, Michael
    Έκδοση 1996
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  5. 665
    Cornerstones of Undecidability
    ανά Rozenberg, Grzegorz, Salomaa, Arto
    Έκδοση 1994
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  6. 666
    Introduction to the theory of computation
    ανά Sipser, Michael
    Έκδοση 1996
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  7. 667
    Logic and knowledge essays 1901-1950
    ανά Russell, Bertrand, 1872-1970
    Έκδοση 1994
    Θέματα: “…Λογική 325…”
    Βιβλίο
  8. 668
    Logic programming and nonmonotonic reasoning proceedings
    Έκδοση 1995
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  9. 669
    Rewriting techniques and applications [Proceedings of the 1rst international conference] Dijon, France, May 20-22, 1985
    Έκδοση 1985
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  10. 670
    Automated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 proceedings
    Έκδοση 1992
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  11. 671
    Automated deduction - CADE-12 proceedings
    Έκδοση 1994
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  12. 672
    Petri nets Μοντέλα και η εφαρμογή τους στήν τεχνολογία λογισμικού. Διπλωματική εργασία.
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  13. 673
    Greek-latin philosophical interaction
    ανά Ebbesen, Sten
    Έκδοση 2008
    Θέματα: “…Λογική Ιστορία 84009…”
    Βιβλίο
  14. 674
    Aristotle on the common sense
    ανά Gregoric, Pavel 1972-
    Έκδοση 2007
    Θέματα: “…Λογική 325…”
    Βιβλίο
  15. 675
    Modality and meaning /
    ανά Lycan, William G.
    Έκδοση 1994
    Θέματα: “…Τροπικότητα (Λογική) 156050…”
    Βιβλίο
  16. 676
    Polarity and analogy two types of argumentation in early greek thought
    Θέματα: “…Λογική 325…”
    Βιβλίο
  17. 677
    Πληροφορική και δημόσιο δίκαιο έμπειρα συστήματα ασαφούς λογικής και εφαρμογή τους στις αόριστες έννοιες
    ανά Ιγγλεζάκης, Ιωάννης Δ.
    Έκδοση 2000
    Θέματα: “…Ασαφής λογική 49…”
    Βιβλίο
  18. 678
    Boolean-valued models and independence proofs in set theory
    ανά Bell, J. L.
    Έκδοση 1985
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  19. 679
    Introduction to circuit complexity : a uniform approach /
    ανά Vollmer, Heribert
    Έκδοση 1999
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  20. 680
    Unconventional models of computation
    Έκδοση 1998
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email