R-SATCHMO

MaRDI QIDQ18708swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1094367.1094368

Described by source

• R-SATCHMO: Refinements on I-SATCHMO

Cited in

(3)

• I-SATCHMO
• SATCHMOREBID
• Automating Coherent Logic

This page was built for software: R-SATCHMO