Creative Expert System: Comparison of Proof Searching Strategies.

Bartlomiej Sniezynski, Grzegorz Legien, Dorota Wilk-Kolodziejczyk, Stanislawa Kluska-Nawarecka, Edward Nawarecki, Krzysztof Jaskowiec

Browse the full ACIIDS paper archive.