Publications de
Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frédéric Maris, Maël Valais
Twist your logic with TouIST (regular paper)
Dans : International Congress on Tools for Teaching Logic (ICTTL 2015), Rennes, France, 09/06/15-12/06/15, Antonia Huertas, Joao Marcos, Maria Manzano, Sophie Pinchinat, François Schwarzentruber (Eds.), IRISA, (en ligne), août 2015.
Accès : http://ttl2015.irisa.fr/TTL2015_proceedings.pdf – https://oatao.univ-toulouse.fr/18745/
BibTeX