Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992

Web Site CiNii 所蔵館 15館

書誌事項

タイトル
"Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992"
責任表示
edited by Z. Shi
出版者
  • North-Holland
出版年月
  • 1992
書籍サイズ
23 cm

この図書・雑誌をさがす

注記

Includes bibliographical references

関連図書・雑誌

もっと見る

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

ページトップへ