Afișare rezultate |
Afisarea articolelor 1-1(1) pentru cuvîntul-cheie "linear format"
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-684 |
1-1 of 1