Inproceedings,
TouIST: a Friendly Language for Propositional Logic and More.
J. Fernandez, O. Gasquet, A. Herzig, D. Longin, E. Lorini, F. Maris, and P. Régnier.IJCAI, page 5240-5242. ijcai.org, (2020)Demo.
Meta data
- BibTeX key
- conf/ijcai/FernandezGHLLMR20
- entry type
- inproceedings
- booktitle
- IJCAI
- year
- 2020
- pages
- 5240-5242
- publisher
- ijcai.org
- crossref
- conf/ijcai/2020
- ee
- https://doi.org/10.24963/ijcai.2020/756
- url
- http://dblp.uni-trier.de/db/conf/ijcai/ijcai2020.html#FernandezGHLLMR20
- note
- Demo
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ijcai/FernandezGHLLMR20
%A Fernandez, Jorge
%A Gasquet, Olivier
%A Herzig, Andreas
%A Longin, Dominique
%A Lorini, Emiliano
%A Maris, Frédéric
%A Régnier, Pierre
%B IJCAI
%D 2020
%E Bessiere, Christian
%I ijcai.org
%K dblp
%P 5240-5242
%T TouIST: a Friendly Language for Propositional Logic and More.
%U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2020.html#FernandezGHLLMR20
@inproceedings{conf/ijcai/FernandezGHLLMR20,
added-at = {2022-03-15T00:00:00.000+0100},
author = {Fernandez, Jorge and Gasquet, Olivier and Herzig, Andreas and Longin, Dominique and Lorini, Emiliano and Maris, Frédéric and Régnier, Pierre},
biburl = {https://www.bibsonomy.org/bibtex/25f5f85198c5b94ef1801860cfe4528e3/dblp},
booktitle = {IJCAI},
crossref = {conf/ijcai/2020},
editor = {Bessiere, Christian},
ee = {https://doi.org/10.24963/ijcai.2020/756},
interhash = {0d858fdf3f51ddc4b324b07537012e95},
intrahash = {5f5f85198c5b94ef1801860cfe4528e3},
keywords = {dblp},
note = {Demo},
pages = {5240-5242},
publisher = {ijcai.org},
timestamp = {2024-04-10T11:28:40.000+0200},
title = {TouIST: a Friendly Language for Propositional Logic and More.},
url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2020.html#FernandezGHLLMR20},
year = 2020
}