Բոլոր տեղեկամատյանները
Appearance
Վիքիպեդիա կայքի տեղեկամատյանների համընդհանուր ցանկ։ Դուք կարող եք սահմանափակել արդյունքները ըստ տեղեկամատյանի տեսակի, մասնակցի անունի կամ համապատասխան էջի։
- 09:02, 8 հունվարի 2019 Sargis.ssking Քննարկում ներդրում created page Ավտոմատացված թեորեմների ապացուցումը (Նոր էջ «Ավտոմատացված թեորեմների ապացուցումը (որը նաև հայտնի է որպես ATP կամ ավտոմատացված դեդուկցիա) ավտ...»:)
- 08:47, 8 հունվարի 2019 Sargis.ssking Քննարկում ներդրում created page Մասնակից:Sargis.ssking/Ավազարկղ (Նոր էջ « Ավտոմատացված թեորեմների ապացուցումը (որը նաև հայտնի է որպես ATP կամ ավտոմատացված դեդուկցիա) ա...»:)
- 06:33, 8 հունվարի 2019 Ստեղծվեց Sargis.ssking Քննարկում ներդրում մասնակցի հաշիվ