Articles liés à The Computational Logic Handbook

9780121229528: The Computational Logic Handbook

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.