JGXYZ

swMATH32309MaRDI QIDQ44020FDOQ44020

Author name not available (Why is that?)

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