Decidable theories

著者
書誌事項

Decidable theories

Springer-Verlag

この図書・雑誌をさがす
関連文献： 2件中  1-2を表示
詳細情報
  • NII書誌ID(NCID)
    BA06659608
  • 出版国コード
    gw
  • タイトル言語コード
    eng
  • 出版地
    Berlin ; New York
ページトップへ