6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014

Temur Kutsia (Editor), Andrei Voronkov (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Name	EPiC Series
Publisher	EasyChair

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

@inproceedings{f73b1209478a47958c82d46884964043,

title = "6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014",

author = "Temur Kutsia and Andrei Voronkov",

year = "2014",

language = "English",

volume = "30",

series = "EPiC Series",

publisher = "EasyChair",

booktitle = "EPiC Series",

address = "United Kingdom",

}