IBN
Închide
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

Publicaţii peste hotare - 1.
XLS PDF DOC
SM ISO690:2012
DOC
ISO 690:2012Clasificate
  • 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

2018 - 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
-----------------------------------------------------------------------------------------------------------------------------------
1 - 1 of 1