On some systems of minimal propositional logic with loop detection mechanisms

Hovhannes Bolibekyan

Ներբեռնել

Վերնագիր: On some systems of minimal propositional logic with loop detection mechanisms

Հատոր:

ISSN:

0131-4645

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

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

Ծածկույթ:

42-43

Հրատարակիչ:

Изд-во НАН РА

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

2012-04-10

Ձևաչափ:

pdf

Նույնացուցիչ:

oai:arar.sci.am:258737

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

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

Խորագիր և բանալի բառեր:

Mathematics

Օբյեկտի հավաքածուներ:

Digital Library > Յօդուածներ

Վերջին անգամ ձևափոխված:

Aug 18, 2025

Մեր գրադարանում է սկսած:

Jul 24, 2020

Օբյեկտի բովանդակության հարվածների քանակ:

Օբյեկտի բոլոր հասանելի տարբերակները:

https://arar.sci.am/publication/281846

Ցույց տուր նկարագրությունը RDF ձևաչափով:

RDF

Ցույց տուր նկարագրությունը OAI-PMH ձևաչափով։

OAI-PMH

ՀՀ ԳԱԱ Շարունակական հրատարակություններ

Հրատարակության անուն	Ամսաթիվ
On some systems of minimal propositional logic with loop detection mechanisms	Aug 18, 2025

Օբյեկտ

Վերնագիր: On some systems of minimal propositional logic with loop detection mechanisms

Ստեղծողը:

Տեսակ:

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

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

Հատոր:

ISSN:

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

Ծածկույթ:

Հրատարակիչ:

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

Ձևաչափ:

Նույնացուցիչ:

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

Խորագիր և բանալի բառեր:

Օբյեկտի հավաքածուներ:

Վերջին անգամ ձևափոխված:

Մեր գրադարանում է սկսած:

Օբյեկտի բովանդակության հարվածների քանակ:

Օբյեկտի բոլոր հասանելի տարբերակները:

Ցույց տուր նկարագրությունը RDF ձևաչափով:

Ցույց տուր նկարագրությունը OAI-PMH ձևաչափով։

Օբյեկտի տեսակ՝

Նման

Կապի մանրամասներ

Հասցե

Հեռախոս

Էլ․ փոստ

Այցելեք մեզ։