مرکز منطقه ای اطلاع رساني علوم و فناوري - Book Review: Handbook of Practical Logic and Automated Reasoning, John Harrison, Cambridge University Press, 2009. Hardcover, ISBN-13: 978-0-521-89957-4, 681 pp. + xix, $135.00.

Title of article :

Book Review: Handbook of Practical Logic and Automated Reasoning, John Harrison, Cambridge University Press, 2009. Hardcover, ISBN-13: 978-0-521-89957-4, 681 pp. + xix, $135.00.

Author/Authors :

Jeremy Avigad، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2010

Pages :

From page :

237

To page :

241

Journal title :

theory and practice of logic programming

Serial Year :

2010

Journal title :

theory and practice of logic programming

Record number :

660636

Link To Document :

https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=660636