Inproceedings,

TouIST: a Friendly Language for Propositional Logic and More.

, , , , , , and .
IJCAI, page 5240-5242. ijcai.org, (2020)Demo.

Meta data

Tags

Users

  • @dblp

Comments and Reviews