Afișare rezultate
Afisarea articolelor 1-3(3) pentru cuvîntul-cheie "validity" 
| Admissibility, compatibility, and deducibility in first-order sequent logics |
| Lyaletski Alexander |
| Taras Shevchenko National University of Kyiv |
| Workshop on Foundations of Informatics |
| I. 2015. Chișinău, Republica Moldova. ISBN 978-9975-4237-3-1. |
| Disponibil online 3 October, 2017. Descarcări-1. Vizualizări-674 |
| 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-567 |
| Admissibility, compatibility, and deducibility in first-order sequent logics |
| Lyaletski Alexander |
| Taras Shevchenko National University of Kyiv |
| Computer Science Journal of Moldova |
| Nr. 3(69) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330 |
| Disponibil online 26 November, 2015. Descarcări-3. Vizualizări-957 |
    |
1-3 of 3
