Εμφανίζονται 1 - 9 Αποτελέσματα από 9 για την αναζήτηση '', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 1
    100 Mathematical proof /
    ανά Garnier, Rowan
    Έκδοση 1996
    Βιβλίο
  2. 2
    Arabic Logic from al-Fārābī to Averroes A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics /
    ανά Chatti, Saloua, Chatti, Saloua
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    An Introduction to the Language of Mathematics
    ανά Mynard, Frédéric, Mynard, Frédéric
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Proceedings of ACM conference on Proving assertions about programs
    Έκδοση 1972
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Proceedings of the 2015 Conference on Certified Programs and Proofs
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 6
    Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 7
    Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 8
    Proof Technology in Mathematics Research and Teaching
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Sets, Models and Proofs
    ανά Moerdijk, Ieke, Moerdijk, Ieke, van Oosten, Jaap
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email