scientific article; zbMATH DE number 3938595

MaRDI QIDQ3709920zbMATH OpenFDO

Authors Irena Pevac, Dragoš Cvetković

Publication date 1984

Full work available at URL https://eudml.org/doc/117933

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

analogy heuristiccoloured directed graphequivalence of formulasgametheories with a large number of definitions

Mathematics Subject Classification ID

Graph theory (05C99) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Man-machine theorem proving in graph theory
• scientific article; zbMATH DE number 4081618
• scientific article; zbMATH DE number 19780
• scientific article; zbMATH DE number 3970135
• scientific article; zbMATH DE number 3906548

Cited in

(7)

• Errata to ``75 problems for testing automatic theorem provers
• Man-machine theorem proving in graph theory
• Heuristics used by HERBY for semantic tree theorem proving
• scientific article; zbMATH DE number 3970135 (Why is no real title available?)
• Increasing the efficiency of automated theorem proving
• Refinements to depth-first iterative-deepening search in automatic theorem proving
• Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3709920)