<図書>

Logic, language, and computation : festschrift in honor of Satoru Takasu / Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.)

(Lecture notes in computer science;792)

所蔵情報を非表示

1

本郷キャンパス

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

7022/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1994
大きさ xii, 269 p. : ill., port. ; 24 cm
一般注記 Includes bibliographical references
著者標目 高須, 達(1931-) <タカス, サトル>
Jones, Neil D., 1941-
萩谷, 昌己(1957-) <ハギヤ, マサミ>
佐藤, 雅彦(1947-) <サトウ, マサヒコ>
件 名 LCSH:Computer science
LCSH:Takasu, Satoru, 1931-
分 類 LCC:QA76
DC20:005.1/01/5113
本文言語 英語
書誌ID 2000345046
ISBN 3540579354
NCID BA22411090 WCLINK

類似資料

  1. 1 Theory and formal methods of computing 94 : proceedings of the second Imperial College workshop / editors, C. Hankin, I. Mackie, R. Nagarajan
  2. 2 Advances in theory and formal methods of computing : proceedings of the third Imperial College workshop, Christ Church, Oxford, 1-3 April 1996 / editors, A. Edalat, S. Jourdan, G. McCusker
  3. 3 Logic for applications / Anil Nerode and Richard A. Shore
  4. 4 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.)
  5. 5 Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings / Masami Hagiya, John C. Mitchell, eds
  6. 6 Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings / Martín Abadi, Takayasu Ito (eds.)
  7. 7 FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)
  8. 8 Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, (eds.)
  9. 9 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.)
  10. 10 Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)

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