Showing papers by "Laboratório Nacional de Engenharia Civil published in 1986"
TL;DR: This paper describes automated reasoning in a PROLOG Euclidean geometry theorem-prover and brings into focus general topics in automated reasoning and the ability of Prolog in coping with them.
Abstract: This paper describes automated reasoning in a PROLOG Euclidean geometry theorem-prover. It brings into focus general topics in automated reasoning and the ability of Prolog in coping with them.
58 citations
TL;DR: In this paper, a travail presente une etude en laboratoire sur l'efficacite et la durabilite of deux produits de traitement des pierres: un hydrofuge de surface (a base de resine silicone) and un produit de protection superficielle contre les agents atmospheriques and la pollution (qui se compose d’un polymere acrylique, d´un solvant and d'une cire synthetique).
Abstract: Ce travail presente une etude en laboratoire sur l’efficacite et la durabilite de deux produits de traitement des pierres: un hydrofuge de surface (a base de resine silicone) et un produit de protection superficielle contre les agents atmospheriques et la pollution (qui se compose d’un polymere acrylique, d’un solvant et d’une cire synthetique). La pierre etudiee etait un calcaire d’Anca, tres utilise dans le centre du pays et dont la conservation dans des monuments historiques pose de graves problemes.
1 citations