TXDT

swMATH32316MaRDI QIDQ44027FDOQ44027

Author name not available (Why is that?)

Official website: https://priorart.ip.com/IPCOM/000128914

Cited In (2)

• DefunT
• Milestones from the Pure Lisp Theorem Prover to ACL2

This page was built for software: TXDT