Theory Exploration in Theorema: Case Study on Lists

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of the 7th IEEE International Symposium on Applied Computational Intelligence and Informatics
Publisher	IEEE Xplore
Pages	421-426
Number of pages	6
ISBN (Print)	978-1-4673-1013-0
Publication status	Published - May 2012

Fields of science

@inproceedings{84e2942f796140109e5c741802fa6c9f,

title = "Theory Exploration in Theorema: Case Study on Lists",

author = "Isabela Dramnesc and Tudor Jebelean",

year = "2012",

month = may,

language = "English",

isbn = "978-1-4673-1013-0",

pages = "421--426",

booktitle = "Proceedings of the 7th IEEE International Symposium on Applied Computational Intelligence and Informatics",

publisher = "IEEE Xplore",

}

TY - GEN

T1 - Theory Exploration in Theorema: Case Study on Lists

AU - Dramnesc, Isabela

AU - Jebelean, Tudor

PY - 2012/5

Y1 - 2012/5

UR - https://www.scopus.com/pages/publications/84866780578

M3 - Conference proceedings

SN - 978-1-4673-1013-0

SP - 421

EP - 426

BT - Proceedings of the 7th IEEE International Symposium on Applied Computational Intelligence and Informatics

PB - IEEE Xplore

ER -