The theoretical foundations of LPTP (a logic program theorem prover) (Q4223458)

From MaRDI portal
scientific article; zbMATH DE number 1235214
Language Label Description Also known as
English
The theoretical foundations of LPTP (a logic program theorem prover)
scientific article; zbMATH DE number 1235214

    Statements

    The theoretical foundations of LPTP (a logic program theorem prover) (English)
    0 references
    0 references
    19 April 1999
    0 references
    logic program
    0 references
    pure Prolog
    0 references

    Identifiers