CLProver

swMATH39245MaRDI QIDQ54945FDOQ54945

Author name not available (Why is that?)

Described by source

• A resolution prover for coalition logic

Cited In (1)

• Ordered resolution for coalition logic

This page was built for software: CLProver