Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings

Web Site CiNii 所蔵館 61館

書誌事項

タイトル
"Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings"
責任表示
N. Dershowitz (ed.)
出版者
  • Springer-Verlag
出版年月
  • c1989
書籍サイズ
24 cm
シリーズ名/番号
  • : gw
  • : us

この図書・雑誌をさがす

注記

Includes bibliographies and index

関連図書・雑誌

もっと見る

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

ページトップへ