Equational logic as a programming language

書誌事項

Equational logic as a programming language

Michael J. O'Donnell

(MIT Press series in the foundations of computing)

MIT Press, c1985

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

Bibliography: p. [277]-284

Includes index

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