Paradox

automated theorem proving system

en-US/ˈpæɹəˌdɑks/
en-GB/ˈpæɹədɒks/

Danh mục:

free softwaresoftware