PIDoc

swMATH30401MaRDI QIDQ42115FDOQ42115

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/0711.0618

Cited In (2)

• Using SWISH to realize interactive web-based tutorials for logic-based languages
• Pengines

This page was built for software: PIDoc