ここで、この帰着が正しく動作することを示す。すなわち、
「  が充足可能である...

(スライド48 / 50 )

←←最初へ | ←戻る | ↑Indexへ | 次へ→ | 最後へ→→

Converted from Powerpoint Presentation to HTML by PPT2HTML AddIn.
PPT2HTML : by AGATASHI