Εμφανίζονται 141 - 160 Αποτελέσματα από 4.364 για την αναζήτηση '"Logic."', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 141
    Proceedings of the sixth international symposium on Multiple-valued logic
    Έκδοση 1976
    Θέματα: “…Logic circuits…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 142
    Proofs and Fundamentals A First Course in Abstract Mathematics /
    ανά Bloch, Ethan D.
    Έκδοση 2011
    Θέματα: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 143
    18 Unconventional Essays on the Nature of Mathematics
    Έκδοση 2006
    Θέματα: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 144
    Kripke’s Worlds An Introduction to Modal Logics via Tableaux /
    Θέματα: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 145
    A Logical Introduction to Proof
    ανά Cunningham, Daniel W.
    Έκδοση 2013
    Θέματα: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 146
    Informal Logic
    Έκδοση 2008
    Θέματα: “…informal logic…”
    Λήψη πλήρους κειμένου
    journal
  7. 147
    Quantum Physics, Fuzzy Sets and Logic Steps Towards a Many-Valued Interpretation of Quantum Mechanics /
    ανά Pykacz, Jarosław
    Έκδοση 2015
    Θέματα: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 148
    Set Theory With an Introduction to Real Point Sets /
    ανά Dasgupta, Abhijit
    Έκδοση 2014
    Θέματα: “…Logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 149
    Logicism, Intuitionism, and Formalism What has Become of Them? /
    Έκδοση 2009
    Θέματα: “…Logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 150
    Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
    Έκδοση 2011
    Θέματα: “…Logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 151
    Computer Engineering and Technology 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 – August 1, 2014, Revised Selected Papers /
    Έκδοση 2015
    Θέματα: “…Arithmetic and logic units, Computer.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 152
    Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
    Έκδοση 2015
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 153
    Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings /
    Έκδοση 2004
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 154
    Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers /
    Έκδοση 2013
    Θέματα: “…Arithmetic and logic units, Computer.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 155
    Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /
    Έκδοση 2017
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 156
    Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers /
    Έκδοση 2013
    Θέματα: “…Arithmetic and logic units, Computer.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 157
    Relevance in argumentation /
    ανά Walton, Douglas N.
    Έκδοση 2004
    Θέματα: “…Logic.…”
    Λήψη πλήρους κειμένου
    Ηλ. βιβλίο
  18. 158
    Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
    Έκδοση 2014
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 159
    Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
    Έκδοση 2013
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 160
    The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings /
    Έκδοση 2011
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email