Embedded Files
投稿日: 2018/09/18 0:13:40
The SICE Annual Conference 2018 (SICE 2018)で中村が「On Verifying Formula Transformations in Optimization Problems by Algebraic Specifications」について発表してきました．
Page updated
Google Sites
Report abuse
投稿日: 2018/09/18 0:13:40
The SICE Annual Conference 2018 (SICE 2018)で中村が「On Verifying Formula Transformations in Optimization Problems by Algebraic Specifications」について発表してきました．