Pushing the Search Paths in the Proofs. A Study in Proof Heuristics
- Author
- Diderik Batens (UGent) and Dagmar Provijn (UGent)
- Organization
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-290834
- 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}}, }