Automated theorem proving: a review

From Semantic Portal Wiki

{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}

Edit

Reference: {{#vardefine:pagename|automated theorem proving: a review }}

1. [[]]

bibtex

{{#vardefine:pagename|Automated theorem proving: a review }}{{#vardefine:key| }}

abstract:

download:

• paper:
• slides: