There are a number of questions in the theory and practice law: "Who is child?" "When does childhood begin end?", "What definition term 'child'?", concept 'child' include what content that makes it up?". In this vein, aim article was to analyze issue children's rights, discussion which still under debate not fully satisfy all parties involved. The authors used set methods including: logical, ch...

Automated Theorem Provers are computer programs written to prove, or help in proving, mathematical and non-mathematical theorems. Automated Theorem Proving (ATP) is a rapidly advancing field and contains many potential research areas. This paper is an overview of this important field. It starts by giving the needed mathematical background followed by an overview. The overview includes historica...

mainstream sociology under positivism has sought to provide universal theory, in one hand, and the historiography has attempted to narrative description of events, in the other hand. pathological studies show that both are suffering from extremism; so that mainstream sociology have neglected to study of special affairs and historiography  has not been able to build and provide theoretical gener...

The objective of this research was to examine the development of safety management in case company Production division. The emphasis is on the present situation and the purpose was to give a general view of safety management. The idea was also to create practical implications as development focuses for the future. The theoretical background of this research is based on organizations, management...