The cognitive processes of analysis and synthesis in formal inferences

Yingxu Wang. The cognitive processes of analysis and synthesis in formal inferences. In Yingxu Wang, Du Zhang, Jean-Claude Latombe, Witold Kinsner, editors, Proceedings of the Seventh IEEE International Conference on Cognitive Informatics, ICCI 2008, Stanford University, California, USA, August 14-16, 2008. pages 223-231, IEEE, 2008. [doi]

@inproceedings{Wang08b:7,
  title = {The cognitive processes of analysis and synthesis in formal inferences},
  author = {Yingxu Wang},
  year = {2008},
  doi = {10.1109/COGINF.2008.4639172},
  url = {http://dx.doi.org/10.1109/COGINF.2008.4639172},
  tags = {analysis},
  researchr = {https://researchr.org/publication/Wang08b%3A7},
  cites = {0},
  citedby = {0},
  pages = {223-231},
  booktitle = {Proceedings of the Seventh IEEE International Conference on Cognitive Informatics, ICCI 2008, Stanford University, California, USA, August 14-16, 2008},
  editor = {Yingxu Wang and Du Zhang and Jean-Claude Latombe and Witold Kinsner},
  publisher = {IEEE},
}