يعرض 1 - 3 نتائج من 3 نتيجة بحث عن '"Krupski, V. N."', وقت الاستعلام: 1.43s تنقيح النتائج
  1. 1
    دورية أكاديمية
    Normalization of Terms in Sharp Models of Logic of Proofs LP

    المؤلفون: Krupski, V. N.Aff1, IDS0027132223060049_cor1

    المصدر: Moscow University Mathematics Bulletin. 78(6):309-312

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  2. 2
    دورية أكاديمية

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

    View this record from ISI Web of Science
    أضف إلى المفضلة
  3. 3
    دورية
    The single-conclusion proof logic and inference rules specification

    المؤلفون: Krupski, V. N.

    المصدر: Annals of Pure and Applied Logic; 2001, Vol. 113 Issue: 1-3 p181-206, 26p

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