Automated theorem-proving in non-classical logics

Web Site CiNii 所蔵館 18館

書誌事項

タイトル
"Automated theorem-proving in non-classical logics"
責任表示
Paul B. Thistlewaite, Michael A. McRobbie and Robert K. Meyer
出版者
  • Pitman
  • Wiley
出版年月
  • 1988
書籍サイズ
25 cm
シリーズ名/番号
  • : Pitman
  • : Wiley

この図書・雑誌をさがす

注記

Bibliography: p.135-142

Includes index

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ