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
5
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