Advanced search
Add to list

A diagrammatic proof search procedure as part of a formal approach to problem solving.

Diderik Batens (UGent)
Author
Organization

Citation

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

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}},
}