CAMA

swMATH7285MaRDI QIDQ19329FDOQ19329

Author name not available (Why is that?)

Cited In (4)

• Learning general constraints in CSP
• Learning General Constraints in CSP
• Bounded Model Checking for Partial Kripke Structures
• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)

This page was built for software: CAMA