Computation as logic

Web Site CiNii 所蔵館 19館

書誌事項

タイトル
"Computation as logic"
責任表示
René Lalement ; translated by John Plaice
出版者
  • Masson
  • Prentice Hall
出版年月
  • c1993
書籍サイズ
25 cm
タイトル別名
  • Logique, réduction, résolution

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連図書・雑誌

もっと見る

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

ページトップへ