とある定理の対話証明(InteractiveProof)

作成日 2010/01/12 / 得票はありません → 投票する

新しい画像を作成する場合はここをクリック

とある定理の対話証明(InteractiveProof)
画像URL:

とある定理の対話証明(InteractiveProof)
画像URL:

削除依頼

同一作者による画像

とある型の依存性(dependency) とあるタイプの超理論(メタセオリー) とある開発deの形式手法(フォーマルメソッド) とある開発の形式手法(フォーマルメソッド)
とある型の依存性(デペンデンシィ) とある定理の対話証明(Interactive Proof) とあるTypeの依存性(dependency) とある開発の形式手法(FM-f)

とある櫻花の画像生成