An automated reasoning program has provided invaluable assistance in answering certain previously open questions in mathematics and in formal logic. These questions would not have been answered, at least by those who obtained the results, were it not for the program's contribution. Others have used such a program to design logic circuits, many of which proved superior (with respect to transisto...

In 1944 the Association for Education in Citizenship published a pamphlet entitled ‘Health’ by Major Jerry Morris1 (of the Royal Army Medical Corps), as one of a series of Handbooks for Discussion Groups. The preface to the pamphlets in this series said that they were intended to be used by discussion circles concerned with the social, economic and political problems that arose from the Second ...

The paper presents the results of a study possibility using enamel production waste for decorating jewellery and art products. possibilities obtaining variety decorative effects on surface coatings (sgraffito, scrolling, enamelling stencils, creating images, etc.) are shown. reuse is currently topical eco-friendly trend. In addition, this approach has great potential products significantly expa...