IBN
  



  














    
  


    
Închide

Afiliat la Institutul de Dezvoltare a Societăţii Informaţionale, Î.S.

2018 - 2

Public Research and Innovation Infrastructure of the Republic of Moldova: Challenges and Opportunities
Cojocaru Igor , Roşca Alfreda , Rusu Andrei , Guzun Mihail
Central and Eastern European eDem and eGov Days
2018. Viena, Austria. Facultas Verlags- und Buchhandels. 421-430.
Disponibil online 29 October, 2018
-----------------------------------------------------------------------------------------------------------------------------------
On interoperability of research information based on CERIF in Republic of Moldova
Cujba Rodica , Rusu Andrei
Conference on Mathematical Foundations of Informatics
2018. Chișinău. "VALINEX" SRL. 67-72.
Disponibil online 3 July, 2018
-----------------------------------------------------------------------------------------------------------------------------------

2017 - 2

On existential expressibility of formulas in the simplest non-trivial super-intuitionistic propositional logic
Rusu Andrei , Rusu Elena
Conference of Mathematical Society of the Republic of Moldova
4. 2017. Chişinău. Centrul Editorial-Poligrafic al USM. 153-156.
Disponibil online 4 October, 2017
-----------------------------------------------------------------------------------------------------------------------------------
Menţinerea şi dezvoltarea infrastructurii publice de cercetare şi inovare
Cojocaru Igor , Roşca Alfreda , Guzun Mihail , Rusu Andrei
Revista de Ştiinţă, Inovare, Cultură şi Artă „Akademos”
Nr. 4(47) / 2017 / ISSN 1857-0461 / ISSNe 2587-3687
Disponibil online 21 February, 2018
-----------------------------------------------------------------------------------------------------------------------------------

2016 - 1

On computer aided knowledge discovery in logic and related Areas
Rusu Andrei , Rusu Elena
Conference on Mathematical Foundations of Informatics
2016. Chișinău, Republica Moldova. "VALINEX" SRL. 299-306.
Disponibil online 30 March, 2018
-----------------------------------------------------------------------------------------------------------------------------------

2015 - 2

On the absence of finite approximation relative to model completeness in propositional provability logic
Izbaş Olga , Rusu Andrei
Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica
Nr. 3(79) / 2015 / ISSN 1024-7696 / ISSNe 2587-4322
Disponibil online 10 June, 2016
-----------------------------------------------------------------------------------------------------------------------------------
On e-Infrastructure for SSO in R&D and education organizations of Republic of Moldova
Rusu Andrei , Rusu Elena
Telecommunications, Electronics and Informatics
Ed. 5. 2015. Chișinău, Republica Moldova. . 294-295.
Disponibil online 22 May, 2018
-----------------------------------------------------------------------------------------------------------------------------------

2014 - 2

Infinitely many precomplete with respect to parametric expressibility classes of formulas in a provability logic of propositions
Rusu Andrei
Analele Stiintifice ale Universitatii Ovidius Constanta, Seria Matematica
Vol. 22, / 2014 / ISSN 1224-1784 / ISSNe 1844-0835
Disponibil online 28 February, 2024
-----------------------------------------------------------------------------------------------------------------------------------
On absence of finite approximation relative to model completeness in the propositional provability logic
Izbaş Olga , Rusu Andrei
Conference of Mathematical Society of the Republic of Moldova
3. 2014. Chișinău. "VALINEX" SRL. 98-101.
Disponibil online 9 October, 2017
-----------------------------------------------------------------------------------------------------------------------------------

2013 - 1

Infinitely many precomplete relative to parametric expressibility classes of formulas in a provability logic
Rusu Andrei
International Conference on Intelligent Information Systems
2013. Chișinău. "VALINEX" SRL. 144-147.
Disponibil online 12 February, 2018
-----------------------------------------------------------------------------------------------------------------------------------
e-Infrastructuri
Rusu Andrei , Roşca Alfreda , Cujba Rodica , Cojocaru Igor
Disponibil online 8 June, 2022
-----------------------------------------------------------------------------------------------------------------------------------
 
 

1-11 of 11