Ամսագրի կամ հրապարակման վերնագիր:

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

Հրապարակման ամսաթիվ:

2012

Հատոր:

38

ISSN:

0131-4645

Լրացուցիչ տեղեկություն:

սեղմիր այստեղ կապին հետևելու համար

Վերնագիր:

Some new propositional proof systems for intuitionistic and minimal logics

Ստեղծողը:

Anahit A. Chubaryan ; Sergey Sayadyan

Խորագիր:

Mathematics

Ծածկույթ:

44-45

Հրատարակիչ:

Изд-во НАН РА

Ստեղծման ամսաթիվը:

2012-04-10

Տեսակ:

Հոդված

Ձևաչափ:

pdf

Բնօրինակի գտնվելու վայրը:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան