東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Rippling : = meta-level guidance for...

Linked to FindBook

Google Book

Amazon

博客來

Rippling : = meta-level guidance for mathematical reasoning /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Rippling :/ Alan Bundy ... [et al.].
Reminder of title:	meta-level guidance for mathematical reasoning /
Published:	Cambridge ;Cambridge University Press, : 2005.,
Description:	xiv, 202 p. :ill. ;24 cm.
Series:	Cambridge tracts in theoretical computer science ;
Subject:	Automatic theorem proving. -
Online resource:	http://www.loc.gov/catdir/toc/cam051/2004051866.htmlhttp://www.loc.gov/catdir/toc/cam051/2004051866.html
Online resource:	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

based on 0 review(s)

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

W0053251

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

01.外借(書)_YB

一般圖書

QA76.9.A96 R593 2005

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login