Automated Theorem Proving in Euler Diagram Systems

Details 詳細情報について

• CRID

  1362544420538145792

• DOI

  10.1007/s10817-007-9069-y

• ISSN

  15730670

  01687433

• Web Site

  http://link.springer.com/content/pdf/10.1007/s10817-007-9069-y.pdf

  http://link.springer.com/article/10.1007/s10817-007-9069-y/fulltext.html

  http://link.springer.com/content/pdf/10.1007/s10817-007-9069-y

• Data Source

  • Crossref