A general clause theorem prover

Authors
Publication date
9 June 2005
Publisher
'Springer Science and Business Media LLC'
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Sustaining member

      University of Miami: Scholarship Miami

      redirect
      oaioai:alma.01UOML_INST:113850138...
      Last time updated on 16/01/2024

      Crossref

      redirect
      oaiinfo:doi/10.1007%2F3-540-52885...
      Last time updated on 16/02/2019