Pengines

swMATH12408MaRDI QIDQ24337FDOQ24337

Author name not available (Why is that?)

Described by source

• Pengines: Web Logic Programming Made Easy

Cited In (4)

• Using SWISH to realize interactive web-based tutorials for logic-based languages
• Tableau reasoning for description logics and its extension to probabilities
• Title not available (Why is that?)
• Advances in integrative statistics for logic programming

This page was built for software: Pengines