Computer-aided reasoning : an approach
著者
書誌事項
Computer-aided reasoning : an approach
（Advances in formal methods / series editor, Michael Hinchey, 3）
Kluwer Academic, c2000
大学図書館所蔵 全7件
注記
Includes bibliographical references and index
Computer-aided reasoning : an approach
（Advances in formal methods / series editor, Michael Hinchey, 3）
Kluwer Academic, c2000
Includes bibliographical references and index