Isabela Dramnesc, Tudor Jebelean,
"Theory Exploration in Theorema: Case Study on Lists"
: Proceedings of the 7th IEEE International Symposium on Applied Computationa Intelligence and Informatics, IEEE Xplore, Seite(n) 421-426, 5-2012, ISBN: 978-1-4673-1013-0
Original Titel:
Theory Exploration in Theorema: Case Study on Lists
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 7th IEEE International Symposium on Applied Computationa Intelligence and Informatics
Forschungs-