Simulating Cutting Plane proofs with restricted degree of falsity by resolution
Edward A. Hirsch, Sergey I. Nikolenko
نتاج البحث: نشر في مجلة › مقالة من مؤنمر › مراجعة النظراء
5
اقتباسات
(Scopus)