Iteration theories : the equational logic of iterative processes, : gw

Iteration theories : the equational logic of iterative processes, : gw

Stephen L. Bloom, Zoltán Ésik

Berlin ; Tokyo : Springer-Verlag, c1993

図書

巻号情報

: gw
No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

  • AB
  • 22
  • 29

0013445

一般

詳細情報

刊年

1993

形態

xv, 630 p. : ill. ; 24 cm

シリーズ名

EATCS monographs on theoretical computer science

注記

Includes bibliographical references and index

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Bloom, Stephen L., 1940-

Ésik, Zoltán, 1951-

分類

LCC:QA76.9.M35

DC20:005.13/1

件名

Computer science -- Mathematics

Iterative methods (Mathematics)

Logic, Symbolic and mathematical

ISBN

3540563784 (: gw)

NCID

BA20322761

番号

LCCN : 93018445