書誌事項

Computation as logic

René Lalement ; translated by John Plaice

(Prentice-Hall International series in computer science)

Masson , Prentice Hall, c1993

タイトル別名

Logique, réduction, résolution

大学図書館所蔵 件 / 19

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ