18/08/14 11:17:59.90 uRfTlc4z.net
ちなみにJavaでも一階述語論理の定理証明までならleanTAPを移植したものが存在する。
興味があれば見てみると勉強にはなると思う。
18/08/14 11:17:59.90 uRfTlc4z.net
ちなみにJavaでも一階述語論理の定理証明までならleanTAPを移植したものが存在する。
興味があれば見てみると勉強にはなると思う。
18/08/14 11:17:59.90 uRfTlc4z.net
ちなみにJavaでも一階述語論理の定理証明までならleanTAPを移植したものが存在する。
興味があれば見てみると勉強にはなると思う。