• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

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

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