9780121229528: The Computational Logic Handbook

Sinossi

Contains a precise and complete description of the computational logic developed by the authors; will serve also as a reference guide to the associated mechanical theorem proving system. Annotation copyright Book News, Inc. Portland, Or.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Boyer Robert S Moore J Strother

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9781483236537: A Computational Logic Handbook: Formerly Notes and Reports in Computer Science and Applied Mathematics

Edizione in evidenza

ISBN 10:  1483236536 ISBN 13:  9781483236537
Casa editrice: Academic Press, 2014
Brossura