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