scientific article; zbMATH DE number 1348482

zbMath0925.03054MaRDI QIDQ4264736

No author found.

Publication date: 10 October 1999

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Related Items (7)

Quantifier-Free Equational Logic and Prime Implicate Generation ⋮ Efficient query processing with reduced implicate tries ⋮ The dynamics of relevance: adaptive belief revision ⋮ On modularity in term rewriting and narrowing ⋮ Mathematical applications of inductive logic programming ⋮ Temporal Logic Modeling of Biological Systems ⋮ Abductive Reasoning on Molecular Interaction Maps

This page was built for publication: