Pengines

swMATH12408MaRDI QIDQ24337

No author found.

Described by source

• Pengines: Web Logic Programming Made Easy

Related Items (4)

Advances in integrative statistics for logic programming ⋮ Tableau reasoning for description logics and its extension to probabilities ⋮ Unnamed Item ⋮ Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages

This page was built for software: Pengines