Afișare rezultate |
Afisarea articolelor 1-1(1) pentru cuvîntul-cheie "classical first-order logic"
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-732 |
1-1 of 1