scientific article

zbMath0963.68176MaRDI QIDQ2701741

Monty Newborn

Publication date: 19 February 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

predicate calculussemantic treesinference proceduresresolution refutation proofs

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Related Items

Octopus: combining learning and parallel search ⋮ Exploiting parallelism: highly competitive semantic tree theorem prover ⋮ HERBY

Uses Software

• THEO
• OTTER
• Gandalf