Evènement pour le groupe Séminaire Méthodes Formelles


Date 2016-07-12  11:00-12:00
TitreNon commutative booléen algebras 
RésuméI shall explain what the title of the talk means and hint at connections with multiple valued logic. 
Lieu76 
OrateurMark Lawson 
Emailhttps://www.hw.ac.uk/schools/mathematical-computer-sciences/staff-directory/mark-lawson.htm 
UrlHeriot Watt University 



Aucun document lié à cet événement.

Retour
Retour à l'index