Afișare rezultate

On computer aided knowledge discovery in logic and related Areas

Rusu Andrei12, Rusu Elena3

1 Information Society Development Institute, 2 Ovidius University, Constanța, 3 Technical University of Moldova

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-789

-----------------------------------------------------------------------------------------------------------------------------------

On completeness as to ¬-expressibility in a 4-valued provability logic

Rusu Andrei12, Rusu Elena3

1 Vladimir Andrunachievici Institute of Mathematics and Computer Science, 2 Ovidius University, Constanța, 3 Technical University of Moldova

Proceedings IMCS-55

2019. Chișinău, Republica Moldova. ISBN 978-9975-68-378-4.

Disponibil online 28 November, 2019. Descarcări-3. Vizualizări-846

-----------------------------------------------------------------------------------------------------------------------------------

10203040501005001000