Isabela Dramnesc, Tudor Jebelean,
"A Case Study in Proof Based Synthesis of Algorithms on Monotone Lists"
: The 10th International Symposium on Applied Computational Intelligence and Informatics, IEEE Xplore, Seite(n) 483-488, 2015
Original Titel:
A Case Study in Proof Based Synthesis of Algorithms on Monotone Lists
Sprache des Titels:
Englisch
Original Buchtitel:
The 10th International Symposium on Applied Computational Intelligence and Informatics