Shminke, B., (2022). gym-saturation: an OpenAI Gym environment for saturation provers. Journal of Open Source Software, 7(71), 3849, ...
確定! 回上一頁