Automated Reasoning for Theory Building in the Social Sciences

Authors
Publication date 1996
Host editors
  • D. Loveland
Book title Proceedings of the NSF Workshop on Future Directions of Automated Deduction, April 20-21
Organisations
  • Other
Document type Chapter
Note CCSOM Report 96-144
Language English
Permalink to this page
Back