Author:
Marin Mircea,Dundua Besik,Kutsia Temur
Publisher
Springer International Publishing
Reference16 articles.
1. Lecture Notes in Computer Science;T Ahmed,2017
2. Lecture Notes in Computer Science;H Aït-Kaci,2018
3. Buchberger, B., Jebelean, T., Kriftner, F., Marin, M., Tomuţa, E., Văsaru, D.: A survey of the Theorema project. In: Proceedings of ISSAC 1997, Maui, Hawaii, USA, pp. 384–391 (1997)
4. Lecture Notes in Computer Science;B Dundua,2017
5. Jebelean, T., Drămnesc, I.: Synthesis of list algorithms by mechanical proving. JSC 69, 61–92 (2015)