コンピュータ科学・情報科学の良書

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

156: 名無しさん＠お腹いっぱい。 [sage] 2014/11/03(月) 04:20:05.93 ID:oNFs83Qu0(1) AAS
論理とか言い出すと自動推論の話と被るから計算機で良いや。