Items where Author is "Haarlsev, Volker"
 | Up a level |
Group by: Item Type | No Grouping
Number of items: 1.
Vescovi, Michele and Sebastiani, Roberto and Haarlsev, Volker (2011) Automated Reasoning on TBoxes with Qualified Number Restrictions via SMT. UNSPECIFIED. (Unpublished)
Unitn-eprints Research supports Open Archives Protocol for Metadata Harvesting OAI 2.0
with a base URL of http://eprints.biblio.unitn.it/cgi/oai2
Contact and information