コンテンツを見る
CAVAL Home
  • Start Over
  • 処理一覧
  • ログアウト
  • ログイン
  • 言語
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
詳細検索
フィルターのリセット
関連のトピックス: Primaries
フィルターのリセット
フィルター表示 (1)
関連のトピックス: Primaries
  • 検索
  • Systems of reductions /
  • この資料を引用
  • この資料をSMS送信
  • この資料をメール
  • 印刷
  • エクスポート
    • エクスポート先: RefWorks
    • エクスポート先: EndNoteWeb
    • エクスポート先: EndNote
  • お気に入りに追加
  • パーマネントリンク
Systems of reductions /

Systems of reductions /

保存先:
書誌詳細
第一著者: Benninghofen, B. (Benjamin), 1958-
その他の著者: Richter, Michael M., 1938-, Kemmerich, S. (Susanne), 1953-
フォーマット: 図書
言語:English
出版事項: Berlin ; New York : Springer-Verlag, c1987.
シリーズ:Lecture notes in computer science ; 277.
主題:
Rewriting systems (Computer science)
Algebra, Universal > Data processing.
Computer algorithms.
  • 所蔵
  • その他の書誌記述
  • MARC表示

CARM 1 Store

予約・返却請求 CARM 1 Store
請求記号: A2:AL20E0 C05352
所蔵 1 利用可  予約する

類似資料

  • Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings /
    出版事項: (1995)
  • Efficient graph rewriting and its implementation /
    著者:: Dörr, Heiko, 1962-
    出版事項: (1995)
  • Conditional term rewriting systems /
    出版事項: (1993)
  • Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings /
    出版事項: (1988)
  • Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings /
    出版事項: (1991)
  • Home
  • About Us
    • Contact Us
    • News
    • Governance
    • Photo Gallery
  • Solutions
    • FOLIO + ReShare
    • Storage and Archives
    • Shelf-Ready Services
    • Cataloguing and Metadata
    • Language Resources
    • Digital Platforms
  • Member Services
    • Member Benefits
    • Our Members
    • Shared Collection
    • Reciprocal Borrowing
    • Mentoring Program
    • CAVAL card

Contact Us

4 Park Drive

Bundoora, Victoria, 3083

Australia

T +61 3 9450 5500

Email: caval@caval.edu.au

Twitter Facebook LinkedIn

  • Privacy and Disclaimer
  • Site Map