Items where Author is "Armando, Alessandro"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Departmental Technical Report
Number of items: 1.
Departmental Technical Report
Armando, Alessandro and Castellini, Claudio and Giunchiglia, Enrico and Giunchiglia, Fausto and Tacchella, Armando (2002) SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective. 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