Homogeneous sets of atp problems

From Semantic Portal Wiki

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

Edit

Reference: {{#vardefine:pagename|homogeneous sets of atp problems }}

1. [[]]

bibtex

{{#vardefine:pagename|Homogeneous sets of atp problems }}{{#vardefine:key| }}

abstract:

download:

• paper:
• slides: