IBN
  



  














    
  


    
Închide

Afișare rezultate

SM ISO690:2012
Afisarea articolelor 1-7(7) pentru cuvîntul-cheie "completeness"
Goal-Driven Machine Proof Search in Intuitionistic First-Order Logic
Lyaletski Alexander
Kyiv National University of Trade and Economics
Conference of Mathematical Society of the Republic of Moldova
4. 2017. Chişinău. ISBN 978-9975-71-915-5.
Disponibil online 4 October, 2017. Descarcări-0. Vizualizări-502
-----------------------------------------------------------------------------------------------------------------------------------
Tree-like Refutation Search and Model Elimination Method
Lyaletski Alexander
Institute of Mathematics and Computer Science ASM
Conference on Mathematical Foundations of Informatics
2018. Chișinău. ISBN 978‐9975‐4237‐7‐9.
Disponibil online 3 July, 2018. Descarcări-0. Vizualizări-639
-----------------------------------------------------------------------------------------------------------------------------------
On linear formats of resolution and paramodulation over ordered clauses
Lyaletski Alexander, Lyaletsky Alexandre
Taras Shevchenko National University of Kyiv
Conference on Mathematical Foundations of Informatics
2016. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐4‐8.
Disponibil online 30 March, 2018. Descarcări-2. Vizualizări-585
-----------------------------------------------------------------------------------------------------------------------------------
Experience of the implementation of administrative indicators of the quality and completeness of the electronic reports on cases notified to the electronic integrated disease surveillance system in Azerbaijan
Mursalova Nazifa
One Health and Risk Management
Nr. 2(S_Rez) / 2023 / ISSN 2587-3458 /ISSNe 2587-3466
Disponibil online 7 December, 2023. Descarcări-0. Vizualizări-74
-----------------------------------------------------------------------------------------------------------------------------------
Formarea inițială a cadrelor didactice din perspectiva profesionalizării carierei didactice
Cojocaru Vasile
Probleme ale științelor socioumanistice și modernizării învățământului
Seria 22, Vol.2. 2020. Chişinău. ISBN 978-9975-46-449-9; 978-9975-46-451-2.
Disponibil online 23 December, 2020. Descarcări-25. Vizualizări-481
-----------------------------------------------------------------------------------------------------------------------------------
Особенности хода естественного возобновления под пологом разнотравных сосняков в северной Армении
Amirean Gaghik
Horticultură, Viticultură şi vinificaţie, Silvicultură şi grădini publice, Protecţia plantelor
Vol. 36 (2). 2013. Chișinău, Republica Moldova. ISBN 978-9975-64-249-1.
Disponibil online 13 June, 2019. Descarcări-1. Vizualizări-433
-----------------------------------------------------------------------------------------------------------------------------------
Scientific research, communication and deontology
Teodorovici Cristina, Florescu Marin Constantin
Contemporary methodological guidelines and practices in social sciences
2019. Chişinău. ISBN 978-9975-56-693-3.
Disponibil online 28 October, 2019. Descarcări-6. Vizualizări-550
-----------------------------------------------------------------------------------------------------------------------------------
 
 

1-7 of 7