複雑な命題を記述する｜述語論理の形式化 - 記号論理学
コピー
id
29448
user_id
1056
roll_id
1868
order
23
language
ja
description
image_id
0
tag
[symbolic_logic:0.5][predicate_logic:0.5]
created_time
1769770862
updated_time
1769770862
← 戻る