SWISH DataLab

swMATH30395MaRDI QIDQ42109FDOQ42109

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-319-67468-1_13

Cited In (10)

• VeriFly
• Using SWISH to realize interactive web-based tutorials for logic-based languages
• wamcc
• oClingo
• Pengines
• Kara
• onlineSPARC
• PIDoc
• Web-STAR
• Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms

This page was built for software: SWISH DataLab