Items where Author is "Haarlsev, Volker"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | No Grouping
Jump to: Departmental Technical Report
Number of items: 1.

Departmental Technical Report

Vescovi, Michele and Sebastiani, Roberto and Haarlsev, Volker (2011) Automated Reasoning on TBoxes with Qualified Number Restrictions via SMT. UNSPECIFIED. (Unpublished)

This list was generated on Tue Jul 23 01:06:05 2024 CEST.