Computer-Aided Reasoning

By:	Matt Kaufmann; Panagiotis Manolios; J Strother Moore
Publisher:	Springer Nature
Print ISBN:	9780792377443
eText ISBN:	9781461544494
Edition:	0
Format:	Page Fidelity

Select an option

eBook Features

Instant Access

Purchase and read your book immediately

Access your eTextbook anytime and anywhere

Built-in study tools like highlights and more

Listen and follow along as Bookshelf reads to you

Details

Table of Contents