Εμφανίζονται 1 - 12 Αποτελέσματα από 12 για την αναζήτηση '"Propositional calculus"', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 1
    Υλοποίηση διαδικτυακού προσομοιωτή για αλγορίθμους επίλυσης προβλημάτων SAT
    ανά Χαρατσάρης, Δημήτριος
    Έκδοση 2013
    Θέματα: “…Propositional calculus…”
    Λήψη πλήρους κειμένου
    Thesis
  2. 2
    Intuitionistic Fuzzy Logics
    ανά T. Atanassov, Krassimir
    Έκδοση 2017
    Πίνακας περιεχομένων: “…Elements of Intuitionistic Fuzzy Propositional Calculus -- Intuitionistic Fuzzy Predicate Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Propositional and Predicate Calculus A Model of Argument
    ανά Goldrei, Derek
    Έκδοση 2005
    Πίνακας περιεχομένων: “…Propositions and Truth Assignments -- Formal Propositional Calculus -- Predicates and Models…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Mathematical logic a course with exercises
    ανά Cori, Rene
    Πίνακας περιεχομένων: “…v.1. propositional calculus, boolean algebras. - 338 p. - predicate calculus. - 1993 -…”
    Βιβλίο
  5. 5
    Teachers and Teaching Time and the Creative Tension /
    ανά Roy, Kaustuv, Roy, Kaustuv
    Έκδοση 2019
    Πίνακας περιεχομένων: “…. Beyond Chronic Pedagogy - A Conversation -- 5. Freeing Time: A Propositional Calculus -- 6. Teacher, Time…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Η λογική των προτάσεων, προτασιακός λογισμός
    Λήψη πλήρους κειμένου
    7
  7. 7
    Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Logics -- Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Computer Science Logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… of Proofs: Classical Propositional Calculus -- Applications of Craig Interpolation to Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Logical Structures for Representation of Knowledge and Uncertainty
    ανά Hisdal, Ellen, Hisdal, Ellen
    Έκδοση 1998
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… for Finitary Corecursion -- Fixed-point elimination in the Intuitionistic Propositional Calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… abstraction techniques for propositional ?-calculus model checking -- A compositional rule for hardware design…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Fuzzy Mathematics An Introduction for Engineers and Scientists /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email