書誌事項

Deductive systems

Zohar Manna, Richard Waldinger

(Addison-Wesley series in computer science, . The logical basis for computer programming ; v. 2)

Addison-Wesley, c1990

この図書・雑誌をさがす
注記

Includes bibliographical references (p. [605]-607) and index

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ