Thumbnail
Access Restriction
Open

Author Lange, Christoph ♦ Alama, Jesse ♦ Aspinall, David ♦ Corneli, Joseph ♦ Kaliszyk, Cezary ♦ Kamareddine, Fairouz ♦ Kohlhase, Michael ♦ Krötzsch, Markus ♦ Mamane, Lionel ♦ Mckinna, James ♦ Rudnicki, Piotr ♦ Tankink, Carst ♦ Vrandecic, Denny
Source CiteSeerX
Content type Text
File Format PDF
Age Range above 22 year
Education Level UG and PG ♦ Career/Technical Study
Publisher Date 2011-01-01