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.

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  1483236536 ISBN 13 :  9781483236537
Editeur : Academic Press, 2014
Couverture souple