scholarly journals Proceedings of the 9th International Symposium on Symbolic Computation in Software Science

2021 ◽  
Vol 342 ◽  
Author(s):  
Temur Kutsia
Keyword(s):  
International Symposium ◽  
Symbolic Computation ◽  
Software Science

scholarly journals Proceedings Fourth International Symposium on Symbolic Computation in Software Science

2013 ◽  
Vol 122 ◽  
Author(s):  
Adel Bouhoula ◽  
Tetsuo Ida ◽  
Fairouz Kamareddine
Keyword(s):  
International Symposium ◽  
Symbolic Computation ◽  
Fourth International Symposium ◽  
Software Science

scholarly journals Symbolic Computation in Software Science: My Personal View

2021 ◽  
Vol 342 ◽  
pp. 1-13
Author(s):  
Bruno Buchberger
Keyword(s):  
Symbolic Computation ◽  
Personal View ◽  
Software Science

Symbolic computation in software science

2019 ◽  
Vol 90 ◽  
pp. 1-2
Author(s):  
James Harold Davenport ◽  
Temur Kutsia
Keyword(s):  
Symbolic Computation ◽  
Software Science

scholarly journals Symbolic computation in software science: Foreword from the editor

2010 ◽  
Vol 45 (5) ◽  
pp. 499-500
Author(s):  
Temur Kutsia
Keyword(s):  
Symbolic Computation ◽  
Software Science

scholarly journals Special issue on symbolic computation in software science

2015 ◽  
Vol 69 ◽  
pp. 1-2
Author(s):  
Adel Bouhoula ◽  
Bruno Buchberger ◽  
Laura Kovács ◽  
Temur Kutsia
Keyword(s):  
Symbolic Computation ◽  
Special Issue ◽  
Software Science
Sign in / Sign up

Export Citation Format

Share Document