[isabelle] Formalization of Social network(SN)



Hi, all users:
   Do anyone know some formal theory on Social network, and some
formalization in
 a theorem prover?

regards!





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.