SOCS


Name: A Computational Logic model for the description analysis and verification of global and open societies of heterogeneous computees
Funding_Authority: EU-FP5
Coordinator: Imperial College London
Start_Date: 01/01/2002
End_Date: 30/06/2005
Duration(months): 36
UCY_Budget: 273,263
Principal_Investigator: Kakas Antonis


Abstract:

N/A


© 2017-2019 Department of Computer Science - University of Cyprus

Created by ITS - Based on Minimal by W3layouts