Articoli correlati a The Computational Logic Handbook

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.