A diagrammatic proof search procedure as part of a formal approach to problem solving.
- Author
- Diderik Batens (UGent)
- Organization
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-373985
- MLA
- Batens, Diderik. “A Diagrammatic Proof Search Procedure as Part of a Formal Approach to Problem Solving.” Model Based Reasoning in Science and Engineering : Cognitive Science, Epistemology, Logic, vol. 2, King’s College Publications, 2006, pp. 265–84.
- APA
- Batens, D. (2006). A diagrammatic proof search procedure as part of a formal approach to problem solving. In Model based reasoning in science and engineering : cognitive science, epistemology, logic (Vol. 2, pp. 265–284). King’s College Publications.
- Chicago author-date
- Batens, Diderik. 2006. “A Diagrammatic Proof Search Procedure as Part of a Formal Approach to Problem Solving.” In Model Based Reasoning in Science and Engineering : Cognitive Science, Epistemology, Logic, 2:265–84. King’s College Publications.
- Chicago author-date (all authors)
- Batens, Diderik. 2006. “A Diagrammatic Proof Search Procedure as Part of a Formal Approach to Problem Solving.” In Model Based Reasoning in Science and Engineering : Cognitive Science, Epistemology, Logic, 2:265–284. King’s College Publications.
- Vancouver
- 1.Batens D. A diagrammatic proof search procedure as part of a formal approach to problem solving. In: Model based reasoning in science and engineering : cognitive science, epistemology, logic. King’s College Publications; 2006. p. 265–84.
- IEEE
- [1]D. Batens, “A diagrammatic proof search procedure as part of a formal approach to problem solving.,” in Model based reasoning in science and engineering : cognitive science, epistemology, logic, vol. 2, King’s College Publications, 2006, pp. 265–284.
@incollection{373985, author = {{Batens, Diderik}}, booktitle = {{Model based reasoning in science and engineering : cognitive science, epistemology, logic}}, isbn = {{1-904987-23-0}}, language = {{und}}, pages = {{265--284}}, publisher = {{King's College Publications}}, title = {{A diagrammatic proof search procedure as part of a formal approach to problem solving.}}, volume = {{2}}, year = {{2006}}, }