東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Rippling : = meta-level guidance for...

FindBook

Google Book

Amazon

博客來

Rippling : = meta-level guidance for mathematical reasoning /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Rippling :/ Alan Bundy ... [et al.].
其他題名:	meta-level guidance for mathematical reasoning /
出版者:	Cambridge ;Cambridge University Press, : 2005.,
面頁冊數:	xiv, 202 p. :ill. ;24 cm.
叢書名:	Cambridge tracts in theoretical computer science ;
標題:	Automatic theorem proving. -
電子資源:	http://www.loc.gov/catdir/toc/cam051/2004051866.htmlhttp://www.loc.gov/catdir/toc/cam051/2004051866.html
電子資源:	http://www.loc.gov/catdir/description/cam051/2004051866.htmlhttp://www.loc.gov/catdir/description/cam051/2004051866.html
ISBN:	052183449X (hbk.) :

Rippling : = meta-level guidance for mathematical reasoning /
Rippling :meta-level guidance for mathematical reasoning /Alan Bundy ... [et al.]. - Cambridge ;Cambridge University Press,2005. - xiv, 202 p. :ill. ;24 cm. - Cambridge tracts in theoretical computer science ;56..

Includes bibliographical references (p. 193-199) and index.

ISBN: 052183449X (hbk.) :US50.00

LCCN: 2004051866Subjects--Topical Terms:

655280
Automatic theorem proving.

LC Class. No.: QA76.9.A96 / B84 2005

Dewey Class. No.: 006.3/33

Rippling : = meta-level guidance for mathematical reasoning /
LDR:00981pam a2200217 a 45 001 709845
005 20070123
008 061212s2005 enka b 001 0 eng
010 $a 2004051866
020 $a 052183449X (hbk.) : $c US50.00
020 $a 9780521834490
035 $a IM95T0169
040 $a DLC $c DLC $d DLC $d DLC
050 0 0 $a QA76.9.A96 $b B84 2005
082 0 0 $a 006.3/33 $2 22
245 0 0 $a Rippling : $b meta-level guidance for mathematical reasoning / $c Alan Bundy ... [et al.].
260 $a Cambridge ; $a New York : $c 2005. $b Cambridge University Press,
300 $a xiv, 202 p. : $b ill. ; $c 24 cm.
440 0 $a Cambridge tracts in theoretical computer science ; $v 56.
504 $a Includes bibliographical references (p. 193-199) and index.
650 $a Automatic theorem proving. $3 655280
650 $a Logic, Symbolic and mathematical. $3 532051
856 4 1 $3 Table of contents $u http://www.loc.gov/catdir/toc/cam051/2004051866.html $z http://www.loc.gov/catdir/toc/cam051/2004051866.html
856 4 2 $3 Publisher description $u http://www.loc.gov/catdir/description/cam051/2004051866.html $z http://www.loc.gov/catdir/description/cam051/2004051866.html

筆 0 讀者評論

館藏地: 出版年: 卷號:

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

W0053251

六樓西文書區HC-Z(6F Western Language Books)

01.外借(書)_YB

一般圖書

QA76.9.A96 R593 2005

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

多媒體

評論

新增評論分享你的心得

Export

取書館

變更密碼

登入