Proceeding on automated deduction - Overbeek R Ed.; International conference on automated deduction (9 : 1988 : Argonne); Lusk E Ed. (Berlin Springer-Verlag, 1988)
Keywords: Mathematical logic; Mathematics