[BibTeX] [RIS]
Human Reasoning and Automated Deduction - KI 2012 Workshop Proceedings
Type of publication: Proceedings
Citation: SFBTR8_report_32
Year: 2012
Publisher: SFB/TR 8 Report No. 032-09/2012
Keywords:
Editors Barkowsky, Thomas
Ragni, Marco
Stolzenburg, Frieder
Attachments
  • http://www.sfbtr8.spatial-cogn...
Notes
    Topics