Rewriting techniques and applications

著者

• Jouannaud, Jean-Pierre

書誌事項

Rewriting techniques and applications

edited by Jean-Pierre Jouannaud

Academic, 1987

注記

Reprinted from the Journal of symbolic computation v.3, nos.1 & 2, 1987

Includes bibliography

詳細情報

• NII書誌ID(NCID): BA03772932
• ISBN:
  • 0123909600
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London
• ページ数/冊数: 216 p.
• 大きさ: 25cm
• 分類:
  • LCC : QA76.5
  • DC19 : 001.4/2
• 件名:
  • PRECIS : Problem solving. Applications of computer systems. Algorithms
  • LCSH : Problem solving -- Data processing
  • LCSH : Algorithms