scientific article; zbMATH DE number 512976

zbMath0811.68111MaRDI QIDQ4281686

Dov M. Gabbay

Publication date: 1 May 1995

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

zbMATH Keywords

goal directed computation procedures

Mathematics Subject Classification ID

Combinatorial aspects of matrices (incidence, Hadamard, etc.) (05B20) Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (3)

Two loop detection mechanisms: A comparison ⋮ A family of goal directed theorem provers based on conjunction and implication. I ⋮ Efficient loop-check for backward proof search in some non-classical propositional logics

This page was built for publication: