Die Bibliothek der Universität Konstanz 1965–1974 (Erfahrungen und Probleme) || Zahlen-Anhang
- 作者Stoltzenburg, Joachim; Wiegand, Günther
- 文件大小376.83KB
- 发表时间1975
- DOI10.1515/9783111326047-004
- 页码107-114
[IEEE 2015 IEEE 13th International Symposium on Intelligent Systems and Informatics (SISY) - Subotica, Serbia (2015.9.17-2015.9.19)] 2015 IEEE 13th International Symposium on Intelligent Systems and Informatics (SISY) - Theory exploration of binary treesDramnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin · 2015
[IEEE 2014 IEEE 12th International Symposium on Intelligent Systems and Informatics (SISY 2014) - Subotica, Serbia (2014.9.11-2014.9.13)] 2014 IEEE 12th International Symposium on Intelligent Systems and Informatics (SISY) - Theory exploration of sets represented as monotone listsDramnesc, Isabela; Jebelean, Tudor · 2014
[IEEE 2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI) - Timisoara, Romania (2012.05.24-2012.05.26)] 2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI) - Theory Exploration in Theorema: Case Study on ListsDramnesc, Isabela; Jebelean, Tudor · 2012
[IEEE 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, TBD, Romania (2011.09.26-2011.09.29)] 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Proof Techniques for Synthesis of Sorting AlgorithmsDramnesc, Isabela; Jebelean, Tudor · 2011
[IEEE 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2012.09.26-2012.09.29)] 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Automated Synthesis of Some Algorithms on Finite SetsDramnesc, Isabela; Jebelean, Tudor · 2012
[IEEE 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2015.9.21-2015.9.24)] 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Combinatorial Techniques for Proof-Based Synthesis of Sorting AlgorithmsDramnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin · 2015
[IEEE 2015 IEEE 10th Jubilee International Symposium on Applied Computational Intelligence and Informatics (SACI) - Timisoara, Romania (2015.5.21-2015.5.23)] 2015 IEEE 10th Jubilee International Symposium on Applied Computational Intelligence and Informatics - A case study in proof based synthesis of algorithms on monotone listsDramnesc, Isabela; Jebelean, Tudor · 2015