Background : computational structures

edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay

The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science. The Handbook comprises six volumes. Each volume contains five or six chapters giving an in-depth overview of one of the major topics in the field. It is the result of many years of co-operative effort by some of the most eminent frontline researchers in the area. It will no doubt be the standard reference work in logic and theoretical computer science for years to come - essential reading for all those interested in theoretical computer science and logic.

「Nielsen BookData」より

[目次]

  • J.W. Klop: Term rewriting systems
  • H.P. Barendregt: Lambda calculi with types
  • D.M. Gabbay: Elements of algorithmic proof
  • Lawrence C. Paulson: Designing a theorem prover
  • Colin Stirling: Modal and temporal logics.

「Nielsen BookData」より

この本の情報

書名 Background : computational structures
著作者等 Abramsky, Samson
Gabbay, Dov M.
Maibaum, Thomas S. E.
Maibaum T.S.E.
Gabbay Dov M. (King's College London)
シリーズ名 Handbook of logic in computer science
出版元 Clarendon Press
刊行年月 1992
ページ数 x, 571 p.
大きさ 24 cm
ISBN 0198537611
NCID BA19116536
※クリックでCiNii Booksを表示
言語 英語
出版国 イギリス
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想