Advanced search
Add to list

Pushing the Search Paths in the Proofs. A Study in Proof Heuristics

Diderik Batens (UGent) and Dagmar Provijn (UGent)
(2003) LOGIQUE ET ANALYSE. 173-174-175. p.113-134
Author
Organization

Citation

Please use this url to cite or link to this publication:

MLA
Batens, Diderik, and Dagmar Provijn. “Pushing the Search Paths in the Proofs. A Study in Proof Heuristics.” LOGIQUE ET ANALYSE, vol. 173-174–175, 2003, pp. 113–34.
APA
Batens, D., & Provijn, D. (2003). Pushing the Search Paths in the Proofs. A Study in Proof Heuristics. LOGIQUE ET ANALYSE, 173-174–175, 113–134.
Chicago author-date
Batens, Diderik, and Dagmar Provijn. 2003. “Pushing the Search Paths in the Proofs. A Study in Proof Heuristics.” LOGIQUE ET ANALYSE 173-174–175: 113–34.
Chicago author-date (all authors)
Batens, Diderik, and Dagmar Provijn. 2003. “Pushing the Search Paths in the Proofs. A Study in Proof Heuristics.” LOGIQUE ET ANALYSE 173-174–175: 113–134.
Vancouver
1.
Batens D, Provijn D. Pushing the Search Paths in the Proofs. A Study in Proof Heuristics. LOGIQUE ET ANALYSE. 2003;173-174–175:113–34.
IEEE
[1]
D. Batens and D. Provijn, “Pushing the Search Paths in the Proofs. A Study in Proof Heuristics,” LOGIQUE ET ANALYSE, vol. 173-174–175, pp. 113–134, 2003.
@article{290834,
  author       = {{Batens, Diderik and Provijn, Dagmar}},
  issn         = {{0024-5836}},
  journal      = {{LOGIQUE ET ANALYSE}},
  language     = {{und}},
  pages        = {{113--134}},
  title        = {{Pushing the Search Paths in the Proofs. A Study in Proof Heuristics}},
  volume       = {{173-174-175}},
  year         = {{2003}},
}