Logique et Analyse

TitlePushing the Search Paths in the Proofs. A Study in Proof Heuristics
Publication TypeJournal Article
AuthorsBatens, D, Provijn, D