• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
EN
For visually-impaired
Advanced search
Menu
HSE University
Centres of Excellence
43
at HSE Moscow
7
on other campuses
Centres for Advanced Research
2
in Moscow
EN
Advanced search
Centres of Excellence

Tag "Seminar of the International Laboratory for Intelligent Systems and Structural Analysis"

At the ISSA laboratory seminar Prof. Mark Reynolds gave a talk entitled: "A new rule for LTL tableaux"

Prof. Mark Reynolds is the Head of the School of Computer Science and Software Engineering at The University of Western Australia
Education Reporting an event Seminar of the International Laboratory for Intelligent Systems and Structural Analysis International Laboratory for Intelligent Systems and Structural Analysis
September 29, 2016
1 2