Rippling : meta-level guidance for mathematical reasoning

Alan Bundy ... [et al.]
Bok · Engelsk · 2005

Utgitt	Cambridge : Cambridge University Press , c2005
Omfang	xiv, 202 s. : ill.
Emner	Automatic theorem proving Logic, Symbolic and mathematical Automatisk bevisføring : (NO-TrBIB)REAL009781 Automatisk resonnering Bevisføring
ISBN	052183449X. - 9780521834490