Εμφανίζονται 201 - 220 Αποτελέσματα από 4.364 για την αναζήτηση '"Logic."', χρόνος αναζήτησης: 0,08δλ Περιορισμός αποτελεσμάτων
  1. 201
    Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings /
    Έκδοση 2016
    Θέματα: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 202
    Introduction to Relation Algebras Relation Algebras, Volume 1 /
    ανά Givant, Steven
    Έκδοση 2017
    Θέματα: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 203
    A Mathematical Prelude to the Philosophy of Mathematics
    ανά Pollard, Stephen
    Έκδοση 2014
    Θέματα: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 204
    Basic Real Analysis
    ανά Sohrab, Houshang H.
    Έκδοση 2014
    Θέματα: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 205
    Saved from the Cellar Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics /
    ανά von Plato, Jan
    Έκδοση 2017
    Θέματα: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 206
    Advanced Topics in Relation Algebras Relation Algebras, Volume 2 /
    ανά Givant, Steven
    Έκδοση 2017
    Θέματα: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 207
    Formal Languages and Compilation
    Θέματα: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 208
    On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2 /
    Έκδοση 2013
    Θέματα: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 209
    Membrane Computing International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003. Revised Papers /
    Έκδοση 2004
    Θέματα: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 210
    On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
    ανά Trillas, Enric
    Έκδοση 2017
    Θέματα: “…Logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 211
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings /
    Έκδοση 2006
    Θέματα: “…Arithmetic and logic units, Computer.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 212
    Abstract State Machines 2004. Advances in Theory and Practice 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /
    Έκδοση 2004
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 213
    A Roadmap for Formal Property Verification
    ανά DasGupta, Pallab
    Έκδοση 2006
    Θέματα: “…Logic design.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 214
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers /
    Έκδοση 2009
    Θέματα: “…Arithmetic and logic units, Computer.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 215
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings /
    Έκδοση 2007
    Θέματα: “…Arithmetic and logic units, Computer.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 216
    An introduction to practical formal methods using temporal logic /
    ανά Fisher, Michael, 1962-
    Έκδοση 2011
    Θέματα: “…Logic, Symbolic and mathematical.…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  17. 217
    Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /
    ανά Doberkat, Ernst-Erich
    Έκδοση 2015
    Θέματα: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 218
    Subjective Logic A Formalism for Reasoning Under Uncertainty /
    ανά Jøsang, Audun
    Έκδοση 2016
    Θέματα: “…Logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 219
    Επαγωγικός λογικός προγραμματισμός και αναδρομές
    Θέματα: “…Inductive logic programming…”
    Λήψη πλήρους κειμένου
    Thesis
  20. 220
    Handbook of Spatial Logics
    Έκδοση 2007
    Θέματα: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email