Rippling : meta-level guidance for mathematical reasoning, : hbk

Rippling : meta-level guidance for mathematical reasoning, : hbk

Alan Bundy ... [et al.]

New York, N.Y. : Cambridge University Press, 2005

図書等

巻号情報

: hbk
No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.64-B89

10005023606

一般図書

詳細情報

刊年

2005

形態

xiii, 202 p. ; 24 cm

シリーズ名

Cambridge tracts in theoretical computer science ; 56

注記

Includes bibliographical references and index

HTTP:URL=http://www.loc.gov/catdir/toc/cam051/2004051866.html Information=Table of contents

HTTP:URL=http://www.loc.gov/catdir/description/cam051/2004051866.html Information=Publisher description

出版国

アメリカ合衆国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Bundy, Alan [ Bundy, A. (Alan) ] [ Bundy A. R. (Alan R.) ]

分類

LCC:QA76.9.A96

DC22:006.3/33

件名

Automatic theorem proving

Logic, Symbolic and mathematical

ISBN

052183449X/9780521834490 (: hbk)

NCID

BA72517526

番号

LCCN : 2004051866