Selected papers on Automath

Web Site CiNii 所蔵館 32館

書誌事項

タイトル
"Selected papers on Automath"
責任表示
edited by R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer ; with the assistance of L.S. van Benthem Jutting, D.T. van Daalen
出版者
  • Elsevier
出版年月
  • 1994
書籍サイズ
23 cm

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連図書・雑誌

もっと見る

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

ページトップへ