18.50.07.10A/PS Elaborarea cadrului conceptual și metodologic pentru e-infrastructura de date în sfera CDI din Republica Moldova
Conducătorul proiectului: Rusu Andrei
1 publicații (100%) au menționat Proiectul ca sursă de finanțare
Organizaţia Executoare:
Publicaţii peste hotare - 1.
- 6. Publicații la manifestări științifice de peste hotare
- 6.3.Alte publicații la manifestări științifice de peste hotare - 1
On weak expressibility of formulas in the simplest non-trivial propositional provability logic |
Rusu Andrei1 , Rusu Elena2 |
1 Ovidius University, Constanța, 2 Technical University of Moldova |
Conference on Applied and Industrial Mathematics CAIM 2018 |
Ediţia a 26-a. 2018. Chișinău, Republica Moldova. ISBN 978-9975-76-247-2. |
Disponibil online 1 June, 2022. Descarcări-2. Vizualizări-285 |