|
|
|
|
Adamson, Alan
IBM Canada Ltd. Laboratory
Toronto, Canada
|
|
|
|
|
|
|
|
Date Reviewed |
|
|
1 - 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, ...
|
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 Languag...
|
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 o...
|
Apr 1 1988 |
|
|
|
|
|
|
|
|
|
|
|