Afișare rezultate
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-581 |
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-731 |
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-688 |
1-3 of 3