Refining Numerical Constants in First Order Logic Theories

Authors
Publication date
1 January 2000
Publisher
Kluwer Academic Publishers / Massachusetts:PO Box 358, Accord Station:Hingham, MA 02018:(617)871-6600

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Institutional Research Information System University of Turin

    redirect
    oaioai:iris.unito.it:2318/3258
    Last time updated on 02/03/2023