Computational Logic and Human Reasoning

Steffen Hölldobler
Computational Logic and Human Reasoning
King Mogul's Institute for Technology, Bangkok, Thailand, September 2013

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@misc{H2013,
  author = {Steffen H{\"{o}}lldobler},
  title  = {Computational Logic and Human Reasoning},
  year   = {2013},
  month  = {September}
}