scientific article
From MaRDI portal
Publication:4035251
zbMath0776.68101MaRDI QIDQ4035251
Loïc Pottier, Emmanuel Kounalis, Denis Lugiez
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
inductive learningsufficient-completenesspattern-matchingAC-disunificationassociative and commutative reasoningsubsumption lattice of first-order terms
Related Items (2)
This page was built for publication: