Afișare rezultate |    SM ISO690:2012 |
Afisarea articolelor 1-3(3) pentru cuvîntul-cheie "clause"
| Refutation Search and Literal Trees Calculi |
| Lyaletsky Alexandre |
| Taras Shevchenko National University of Kyiv |
| 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-1. Vizualizări-616 |
| 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-663 |
| 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-619 |
    |
1-3 of 3
