%0 Book Section
%A Ausiello, Giorgio
%T Difficult logical theories and their computer approximations
%B Journées algorithmiques
%A Collectif
%S Astérisque
%D 1976
%P 3-21
%N 38-39
%I Société mathématique de France
%U http://archive.numdam.org/item/AST_1976__38-39__3_0/
%G en
%F AST_1976__38-39__3_0