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

About Us
News
Browse Journals
Authors
- Authors Home
Societies
- Societies Home
Librarians
Agents
- Agents Home
Users
- Users Home
Corporate
- Corporate Home

Citation Search
Quick Search

Advanced Search

Welcome to Cambridge Journals Online

To access subscriptions and personalised features please log in or register

Article Author Query

false

Journal Information

Editorial Board
Book Review Info
Instructions for Contributors
Transfer of Copyright
Abstracting & Indexing Services
Request Permissions
Advertising Information

Journal Menu

Journal of Functional Programming Home

Save Journal to My CJO Account

Browse Journal

Latest Issue
Back Issues

Browse Articles

Most Downloaded
Most Cited

Submit Your Article
Sign-Up for Contents Alerts

Article Menu

Options

Export Citation
Citation Alert
Save This Article
Request Permissions
Email Abstract

Cited By Articles

CrossRef
Google Scholar

Navigation

View This Article''s Issue

Subscribe & Recommend Journal

Subscribe to Journal

Related Journals

APSIPA Transactions on Signal and Information Processing
Natural Language Engineering
RAIRO - Theoretical Informatics and Applications
ReCALL
Robotica
Theory and Practice of Logic Programming
AI EDAM
Probability in the Engineering and Informational Sciences
The Knowledge Engineering Review
RAIRO - Operations Research
Combinatorics, Probability and Computing
LMS Journal of Computation and Mathematics
The Review of Symbolic Logic
Mathematical Structures in Computer Science

Journal of Functional Programming

Journal of Functional Programming / Volume 21 / Issue 06 / November 2011, pp 663-664
Copyright © Cambridge University Press 2011
DOI: http://dx.doi.org/10.1017/S0956796811000220 (About DOI), Published online: 24 August 2011

New Content Alerts
Journal Widget About Widget
Rss
Atom

Table of Contents - November 2011 - Volume 21, Issue 06

Buy This Article
$45.00 / £30.00
Rent This Article Now for 24Hours
$5.99 / £3.99 / €4.49
Request Permissions

Previous Abstract
Next Abstract

As this article doesn't contain an abstract, the image below is necessary to enable the article to be indexed by certain search engines. The resolution of the full-text PDF is much higher than that shown here.

Book Review

Book query
[Google Scholar]

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

Article author query
carette j [Google Scholar]

JACQUES CARETTE^a1

^a1carette@mcmaster.ca

How to Cite This Article
Link to This Abstract
Blog This Article

Copy and paste this link Highlight all

Citation is provided in standard text and BibTeX formats below. Highlight all BibTeX Format

@article{JFP:8440157,
author = {CARETTE,JACQUES},
title = {Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574},
journal = {Journal of Functional Programming},
volume = {21},
issue = {06},
month = {10},
year = {2011},
issn = {1469-7653},
pages = {663--664},
numpages = {2},
doi = {10.1017/S0956796811000220},
URL = {http://journals.cambridge.org/article_S0956796811000220},
}

Click here for full citation export options.

Blog This Article

Blog This Article :

Highlight all

<div style="background: #FFFFFF; margin: 0 10px 10px 0; padding: 0 10px 0 0; text-align: left; font-family: Arial, Helvetica, sans-serif; line-height: 1em;"><div style="font-size: 11px; padding: 0px 0px 10px 0px; font-weight:bold; color: #045989;"><i>Handbook of Practical Logic and Automated Reasoning</i>, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574</div><div style="font-size: 11px;"><b>
					JACQUES CARETTE (2011).	</b><br /><a href="http://journals.cambridge.org/action/displayJournal?jid=JFP">Journal of Functional Programming</a>, <a href="http://journals.cambridge.org/action/displayJournal?jid=JFP&volumeId=21&bVolume=y#loc21>
				 ">Volume 21</a>, <a href="http://journals.cambridge.org/action/displayIssue?jid=JFP&volumeId=21&issueId=06&seriesId=0">Issue06</a>, November 2011 pp 663-664<br/>
<a href="http://journals.cambridge.org/action/displayAbstract?aid=8440157">http://journals.cambridge.org/action/displayAbstract?aid=8440157</a></div></div>

The code will display like this

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

JACQUES CARETTE November 2011
Journal of Functional Programming, ,Volume21, Issue06, November 2011 pp 663-664
http://journals.cambridge.org/abstract_S0956796811000220

JACQUES CARETTE (2011). Review of John Harrison 'Handbook of Practical Logic and Automated Reasoning' Journal of Functional Programming, 21, pp 663-664. doi:10.1017/S0956796811000220.

Copyright Statement
Rights and Permissions
Privacy Policy
Terms of Use
Feedback
Press Releases

Welcome to Cambridge Journals Online

Journal of Functional Programming

Book Review

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

JACQUES CARETTEa1

JACQUES CARETTE^a1