Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Adamson, Alan
IBM Canada Ltd. Laboratory
Toronto, Canada
  Follow this Reviewer
Date Reviewed  
- 3 of 3 reviews

  The semantic foundations of logic, volume 1 (2nd ed.)
Epstein R., Carnielli W., D’Ottaviano I., Krajewski S., Maddux R. (ed),  Oxford University Press, Oxford, UK, 1995.Type: Book (9780195087611)

One’s exposure to formal logic usually begins with the study of classical truth-functional propositional logic, in which well-formed formulas (wffs) are built from basic propositions using a small set of connectives (and, or, if…the...

Jul 1 1997  
  Exploring Ada: vol. 1
Bryan D., Mendal G.,  Prentice-Hall, Inc., Upper Saddle River, NJ, 1990.Type: Book (9789780132956840)

The Ada programming language has a reputation for being complex, large, and difficult. It is a running joke in my department, devoted to the development and support of an Ada compiler, that we should be armed with miniature Ada Language Reference ...

Mar 1 1991  
  Subproblem finder and instance checker, two cooperating modules for theorem provers
de Champeaux D.  Journal of the ACM 33(4): 633-657, 1986. Type: Article

The loss of faith in the grand scheme for problem solving has lately been matched by a loss of faith in any grand scheme for theorem proving. (This should come as no surprise--the tasks differ only slightly.) The limitations of brute force an...

Apr 1 1988  
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2018 ThinkLoud, Inc.
Terms of Use
| Privacy Policy