<図書>

Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers / Gilles Dowek ... [et al.], (eds.)

(Lecture notes in computer science;1074)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
39:L:1.1074 2012628034

8042/保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:Higher-order 8010151754


書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer
出版年 c1996
大きさ 287 p. : ill. ; 24 cm
一般注記 Includes bibliographical references
著者標目 *International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany)
Dowek, Gilles
件 名 LCSH:Rewriting systems (Computer science) -- Congresses
LCSH:Algebra -- Congresses
LCSH:Logic, Symbolic and mathematical -- Congresses
分 類 NDC9:007.64
LCC:QA267
DC20:005.1/01/5113
本文言語 英語
書誌ID 2000492258
ISBN 3540612548
NCID BA27570739 WCLINK

類似資料

  1. 1 Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.] (eds.)
  2. 2 Logic for applications / Anil Nerode and Richard A. Shore
  3. 3 Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings / S. Kaplan, M. Okada, (eds.)
  4. 4 ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings / Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)
  5. 5 ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings / Jonathan P. Bowen, Michael G. Hinchey (eds.)
  6. 6 Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers / Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
  7. 7 Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
  8. 8 Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, proceedings / Ronald V. Book, (ed.)
  9. 9 Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings / Claude Kirchner (ed.)
  10. 10 Theory and formal methods of computing 94 : proceedings of the second Imperial College workshop / editors, C. Hankin, I. Mackie, R. Nagarajan

検索結果一覧に戻る ページトップ