Author pages are created from data sourced from our academic publisher partnerships and public sources.
SAM V, the fifth program, is oriented primarily toward the development of efficient automatic techniques for handling some of the basic processes of mathematical deduction, and toward the realization of efficient real-time interaction between man and machine through the use of cathode-ray tube displays. Expand
Acupuncture and Moxibustion
- J. H. Bennett
- The Journal of the College of General…
- 1 March 1967
ed & translated by Honora Lee Wolfe, Dipl. Ac , Lie. Ae., FNAAOM c/o Blue Poppy Press • 5441 Western Ave. #2 • Boulder, Colorado 80301 USA
TOWARD SEMI-AUTOMATED MATHEMATICS: THE LANGUAGE AND LOGIC OF SAM III.
This report describes the third in a series of computer experiments designed to explore the extent to which computers may feasibly be used in doing formal mathematics. Expand
INTRODUCTION TO SEMI-AUTOMATED MATHEMATICS.
Abstract : The subject of this report is mechanical theorem proving, and in it are described two computer programs that represent an approach different from the usual ones based on the Herbrand… Expand
CRT-AIDED SEMI-AUTOMATED MATHEMATICS
SAM V, the fifth program, uses a cathode ray tube as the principal interface between the mathematician and a high speed digital computer for semi-automated mathematics. Expand
Further Observations on Aminopterin for Psoriasis1
Aminopterin (4-amino-pteroylglutamic acid) is not to be recommended lightly for the treatment of psoriasis, and indeed there are those who feel it should not be used at all (1). On the other hand,… Expand
EFFECTS OF VARIOUS GROWTH REGULATORS ON DATURA METELOIDES.
Datura meteloides D.C. was treated during a 4-week period with Amo-1618, CCC, AMAB, Phosphon, B995, and CO-11. Growth was not significantly affected by the treatments. The concentration of alkaloids… Expand
HUNTINGTON'S CHOREA IN A SOUTH AUSTRALIAN COMMUNITY OF ABORIGINAL DESCENT
BLACKSTONE, W. (1809), "Commentarles on the Laws of England", London. BRETT, P., and WALLER, P. L. (1965), "Cases and Materials in Criminal Law", 2nd Edition, Butterworths, Sydney: 26l. coxa, E.… Expand