Experts has a new look! Let us know what you think of the updates.

Provide feedback
Home
Scholarly Works
Handbook of Practical Logic and Automated...
Journal article

Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574

Authors

CARETTE J

Journal

Journal of Functional Programming, Vol. 21, No. 6, pp. 663–664

Publisher

Cambridge University Press (CUP)

Publication Date

11 2011

DOI

10.1017/s0956796811000220

ISSN

0956-7968

Associated Experts

Jacques Carette

Professor, Faculty of Engineering
Visit profile

Labels

Fields of Research (FoR)

46 Information and Computing Sciences4602 Artificial Intelligence4612 Software engineering4613 Theory of computation
View published work (Non-McMaster Users)
View published work (McMaster Users)