Terms for subject Information technology containing natural logic

English	French
a Logic-oriented approach to knowledge and data bases supporting natural user interaction	approche orientée logique des bases de connaissances et de données supportant l'interaction naturelle des utilisateurs
natural deduction systems of logic	système logique de déduction naturelle