Interactive proof-search for equational reasoning.

Autor:	Miranda-Perea, Favio E1 (AUTHOR) favioemp@gmail.com, Huesca, Lourdes del Carmen González1 (AUTHOR), Linares-Arévalo, P Selene1 (AUTHOR)
Zdroj:	Logic Journal of the IGPL. Dec2020, Vol. 28 Issue 6, p1155-1181. 27p.
Databáze:	Business Source Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.