My library button

No image available

On Automating Diagrammatic Proofs of Arithmetic Arguments

by Mateja Jamnik, Alan Bundy, Ian Green ยท 1998

ISBN:  Unavailable

Category: Unavailable

Page count: 24