Lista publicaţiilor: Lyaletski Alexander Vadim (1), Descărcări - 0, Vizualizări - 732
Articole în materiale ale conferințelor
2018 - 1
ISO 690-2012
| Tree-like Refutation Search and Model Elimination Method |
| Lyaletski Alexander |
| Conference on Mathematical Foundations of Informatics |
| 2018. Chișinău. "VALINEX" SRL. 134-148. |
| Disponibil online 3 July, 2018. Descarcări-0. Vizualizări-732 |
