JGXYZ

MaRDI QIDQ44020swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-030-29436-6_31

Described by source

• JGXYZ: an ATP system for gap and glut logics

Cited in

(1)

• MUltlog

This page was built for software: JGXYZ