loading...

UC.PT

ThEdu'20

Proceedings

EPTCS  328,  Proceedings 9th International Workshop on Theorem Proving Components for Educational Software (ThEdu'20)

@Proceedings{ThEdu2020,
  title     = {Proceedings 9th International Workshop on Theorem Proving Components for Educational Software},
  year      = {2020},
  editor    = {Pedro Quaresma, Walther Neuper and João Marcos},
  volume    = {328},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  publisher = {Open Publishing Association},
  month     = {oct},
  doi       = {10.4204/EPTCS.328}
}