本文に飛ぶ

年 〜
年

検索結果 2 件

Angluin's theorem for indexed families of r.e. sets and applications / Dick de Jongh, Makoto Kanazawa. (ILLC research report and technical notes series. Logic, philosophy and linguistics (LP) series ; LP-96-05)

Angluin's theorem for indexed families of r.e. sets and applications / Dick de Jongh, Makoto Kanazawa. (ILLC research report and technical notes series. Logic, philosophy and linguistics (LP) series ; LP-96-05)
紙図書
Institute for Logic, Language and Computation (ILLC) , University of Amsterdam[1996?]<M121-A152>
国立国会図書館

Decidability and finite model property of substructural logics / Hiroakira Ono. (ILLC research report and technical notes series. Computation and complexity theory (CT) series ; ML-95-09)

Decidability and finite model property of substructural logics / Hiroakira Ono. (ILLC research report and technical notes series. Computation and complexity theory (CT) series ; ML-95-09)
紙図書
Institute for Logic, Language and Computation (ILLC) , University of Amsterdam[1995?]<MA41-A104>
国立国会図書館

検索結果は以上です。

RSS