サクサク読めて、アプリ限定の機能も多数!
"国民年金法のうち、通則、老齢基礎年金の主要部分を一階述語論理Z3-Pyにより記述"/"国民年金法の誤りを発見"
masterq のブックマーク 2018/11/24 16:28
z3-pyによる記述と検証.pptx[z3][verify][slide][japanese]"国民年金法のうち、通則、老齢基礎年金の主要部分を一階述語論理Z3-Pyにより記述"/"国民年金法の誤りを発見"2018/11/24 16:28
"国民年金法のうち、通則、老齢基礎年金の主要部分を一階述語論理Z3-Pyにより記述"/"国民年金法の誤りを発見"
このブックマークにはスターがありません。 最初のスターをつけてみよう!
jaist-pilot.or.jp2018/11/24
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
"国民年金法のうち、通則、老齢基礎年金の主要部分を一階述語論理Z3-Pyにより記述"/"国民年金法の誤りを発見"
masterq のブックマーク 2018/11/24 16:28
このブックマークにはスターがありません。
最初のスターをつけてみよう!
z3-pyによる記述と検証.pptx
jaist-pilot.or.jp2018/11/24
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /