ProGolem

swMATH13855MaRDI QIDQ25766FDOQ25766

Author name not available (Why is that?)

Described by source

• ProGolem: A System Based on Relative Minimal Generalisation

Cited In (2)

• Stochastic Refinement
• On the use of stochastic local search techniques to revise first-order logic theories from examples

This page was built for software: ProGolem