կապին հետեւելուն համար սեղմէ հոս
Տեղադրության կանոնով Ֆրեգեի համակարգերում արտածման բարդությունների վերաբերյալ
oai:arar.sci.am:258397
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Aug 18, 2025
Jul 24, 2020
23
https://arar.sci.am/publication/281457
Հրատարակութեան անունը | Թուական |
---|---|
The complexity in frege proofs with substitution | Aug 18, 2025 |
E. P. Serrano M. I. Troparevsky M. A. Fabio Գլխավոր խմբ․՝ Մ․ Մ․ Ջրբաշյան (1966-1994) Ռ․ Վ․ Համբարձումյան (1994-2009) Ա․ Ա․ Սահակյան (2010-)
Seda N. Manukian
Gatsinzi, J.-B. Գլխ. խմբ.՝ Անրի Ներսեսյան Պատ. խմբ.՝ Լինդա Խաչատրյան Խմբ. տեղակալ՝ Ռաֆայել Բարխուդարյան
Anahit A. Chubaryan
Anahit A. Chubaryan
Anahit A. Chubaryan Sergey Sayadyan