Evènement pour le groupe
Séminaire Méthodes Formelles
Date | 2016-07-12 11:00-12:00 |
Titre | Non commutative booléen algebras |
Résumé | I shall explain what the title of the talk means and hint at connections with multiple valued logic. |
Lieu | 76 |
Orateur | Mark Lawson |
Email | https://www.hw.ac.uk/schools/mathematical-computer-sciences/staff-directory/mark-lawson.htm |
Url | Heriot Watt University |
Aucun document lié à cet événement.
RetourRetour à l'index