يعرض 1 - 10 نتائج من 41 نتيجة بحث عن '"propositional logic"', وقت الاستعلام: 1.46s تنقيح النتائج
  1. 1
    مؤتمر
    Fuzzy linguistic propositional logic based on refined hedge algebra

    المؤلفون: Tran, Duc-Khanh, Viet-Trung Vu, The-Vinh Doan, Minh-Tam Nguyen

    المصدر: 2013 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) Fuzzy Systems (FUZZ), 2013 IEEE International Conference on. :1-8 Jul, 2013

    Relation: 2013 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

    Full Text Finder
    أضف إلى المفضلة
  2. 2
    دورية أكاديمية

    لا يتم عرض هذه النتيجة على الضيوف.

    View record in Scopus
    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    Simulating Strong Practical Proof Systems with Extended Resolution

    المؤلفون: Kiesl, BenjaminAff1, Rebola-Pardo, Adrián, Heule, Marijn J. H., Biere, Armin

    المصدر: Journal of Automated Reasoning. 64(7):1247-1267

    Find this article in full text from ProQuest Full Text Finder
    أضف إلى المفضلة
  4. 4
    دورية أكاديمية
    Pool resolution is NP-hard to recognize

    المؤلفون: Buss, Samuel R.

    المصدر: Archive for Mathematical Logic. 48(8)

    مصطلحات موضوعية: Mathematics, Algebra, Mathematics, general, Mathematical Logic and Foundations, Resolution, Proof search, Computational complexity, Propositional logic, NP-completeness, Satisfiability

    وصف الملف: application/pdf

    URL الوصول: https://escholarship.org/uc/item/1mj9t2q7

    أضف إلى المفضلة
  5. 5
    دورية أكاديمية
    Reversed Resolution in Reducing General Satisfiability Problem

    المؤلفون: Kolany, Adam

    المصدر: Studia Logica: An International Journal for Symbolic Logic. August 2010 95(3):407-416

    Full Text Finder
    أضف إلى المفضلة
  6. 6
    دورية أكاديمية

    لا يتم عرض هذه النتيجة على الضيوف.

    View this record from ISI Web of Science
    أضف إلى المفضلة
  7. 7
    دورية أكاديمية
    Polynomial-time inference of all valid implications for Horn and related formulae

    المؤلفون: Boros, E., Crama, Y., Hammer, P. L.

    المصدر: Annals of Mathematics and Artificial Intelligence. September 1990 1(1-4):21-32

    Full Text Finder
    أضف إلى المفضلة
  8. 8
    Introduction to Mathematical Logic (Edition 2017)

    المؤلفون: Podnieks, Karlis

    مصطلحات موضوعية: first order logic, logic, resolution method, predicate logic, MathematicsofComputing_GENERAL, resolution, intuitionistic logic, Herbrand theorem, propositional logic, model theory, constructive logic, Data_FILES, ComputingMilieux_COMPUTERSANDEDUCATION, normal forms, mathematical logic, Hardware_ARITHMETICANDLOGICSTRUCTURES, completeness theorem

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2360::1e81de2989781b6ae7435285ab85c418
    https://dspace.lu.lv/dspace/handle/7/34986

    أضف إلى المفضلة
  9. 9
    دورية أكاديمية

    لا يتم عرض هذه النتيجة على الضيوف.

    View record in Scopus
    أضف إلى المفضلة
  10. 10
    命題論理における導出のための行列表現

    المؤلفون: Yuuichi, KAWAGUCHI

    المساهمون: 論文, Article, 天使大学, Liberal Arts and Sciences, School of Nursing and Nutrition, Tenshi College

    المصدر: 天使大学紀要 = Bulletin of Tenshi College. 8:13-16

    مصطلحات موضوعية: レゾリューション, 行列表現, resolution, propositional logic, 命題論理, matrix representation

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=jairo_______::254a520cb9f98fc658821ab5d26b28ff
    http://id.nii.ac.jp/1242/00000129/

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء