Εμφανίζονται 1 - 20 Αποτελέσματα από 157 για την αναζήτηση '"first-order logic"', χρόνος αναζήτησης: 0,16δλ Περιορισμός αποτελεσμάτων
  1. 1
    First-order logic an introduction
    ανά Causman, Leigh S.
    Έκδοση 1998
    Βιβλίο
  2. 2
    First-order logic /
    ανά Smullyan, Raymond M.
    Έκδοση 1968
    Βιβλίο
  3. 3
    First-order logic and automated theorem proving /
    ανά Fitting, Melvin 1942-
    Έκδοση 1990
    Βιβλίο
  4. 4
    First-order logic and automated theorem proving /
    ανά Fitting, Melvin 1942-
    Έκδοση 1996
    Βιβλίο
  5. 5
    Αλληλεπιδραστικό σύστημα μετατροπής προτάσεων φυσικής γλώσσας σε κατηγορηματική λογική πρώτης τάξης με αυτόματη εισαγωγή προτάσεων και δημιουργία υποδείξεων για το χρήστη
    ανά Περίκος, Ισίδωρος
    Έκδοση 2011
    Θέματα: “…First order logic…”
    Λήψη πλήρους κειμένου
    Thesis
  6. 6
    Mathematical Logic for Computer Science
    ανά Ben-Ari, Mordechai
    Έκδοση 2012
    Πίνακας περιεχομένων: “… -- Propositional Logic: SAT Solvers -- First-Order Logic: Formulas, Models, Tableaux -- First-Order Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    A Course on Mathematical Logic
    ανά Srivastava, S. M.
    Έκδοση 2008
    Πίνακας περιεχομένων: “…Syntax of First-Order Logic -- Semantics of First-Order Languages -- Propositional Logic -- Proof…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    A Course on Mathematical Logic
    ανά Srivastava, Shashi Mohan
    Έκδοση 2013
    Πίνακας περιεχομένων: “…Preface -- 1 Syntax of First-Order Logic -- 2 Semantics of First-Order Languages -- 3 Propositional…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Mathematical Logic and Model Theory A Brief Introduction /
    ανά Prestel, Alexander, Delzell, Charles N.
    Έκδοση 2011
    Πίνακας περιεχομένων: “…First-Order Logic -- Model Constructions -- Properties of Model Classes -- Model Theory of Several…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Proof Theory for Fuzzy Logics
    ανά Metcalfe, George, Olivetti, Nicola, Gabbay, Dov
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Logics -- Uniformity and Efficiency -- First-Order Logics -- Further Topics.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    A Concise Introduction to Mathematical Logic
    ανά Rautenberg, Wolfgang
    Έκδοση 2010
    Πίνακας περιεχομένων: “…Propositional Logic -- First-Order Logic -- Complete logical Calculi -- Foundations of Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Automated Deduction in Classical and Non-Classical Logics Selected Papers /
    Έκδοση 2000
    Πίνακας περιεχομένων: “…Invited Papers -- Automated Theorem Proving in First-Order Logic Modulo: On the Difference between…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Knowledge representation and reasoning
    “… Τάξης (First-order Logic), καθώς και οι βασικοί τυπικοί μέθοδοι εξαγωγής υπονοούμενης γνώσης (αλγόριθμοι…”
    Λήψη πλήρους κειμένου
    7
  14. 14
    Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… of Variable Splitting in Free Variable Systems of First-Order Logic -- On the Dynamic Increase…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Probability Logics Probability-Based Formalization of Uncertain Reasoning /
    Πίνακας περιεχομένων: “… Functions -- Intuitionistic, Temporal, First-Order Logic -- Conditional Probabilities -- Probabilistic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems /
    Πίνακας περιεχομένων: “… -- Heterogeneous fibring -- Fibring non-truth functional logics -- Fibring first-order logics -- Fibring higher…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    The Calculus of Computation Decision Procedures with Applications to Verification /
    ανά Bradley, Aaron R., Manna, Zohar
    Έκδοση 2007
    Πίνακας περιεχομένων: “…Foundations -- Propositional Logic -- First-Order Logic -- First-Order Theories -- Induction…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Logic for computer science and artificial intelligence /
    ανά Caferra, Ricardo, 1945-
    Έκδοση 2011
    Πίνακας περιεχομένων: “…First-Order Logic (FOL) or Predicate Logic (PL1, PC1)…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  20. 20
    Rigorous Software Development An Introduction to Program Verification /
    Πίνακας περιεχομένων: “…. Propositional Logic -- 4. First-Order Logic -- 5. Hoare Logic -- 6. Generating Verification Conditions -- 7…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email