INTELIGENTA ARTIFICIALA - DEMONSTRAREA AUTOMATA A TEOREMELOR , PRELUCRAREA LIMBAJULUI NATURAL de DOINA TATAR , 2001