Title: Computational aspects of an order-sorted logic with term declarations
Subjects: Logique 1er ordre, Logique symbolique et mathématique, Sorting (Electronic computers), Symbolic and mathematical Logic, Résolution problème, Représentation connaissance, Tri (Informatique), Déduction automatique, Ordnungssortierte Logik, Formalisme, Tri (Ordinateurs), Logique mathématique, Unifikationstheorie