View in EDS HTML Full Text PDF Full Text

Hierarchical invention of theorem proving strategies.

Saved in:
Bibliographic Details
Title: Hierarchical invention of theorem proving strategies.
Authors: Jakubův, Jan1, jakubuv@gmail.com, Urban, Josef1, Fontaine, Kaliszyk, Schulz, Urban
Source: AI Communications; 2018, Vol. 31 Issue 3, p237-250, 14p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:09217126
DOI:10.3233/AIC-180761