Cited in
(9)- Using SWISH to realize interactive web-based tutorials for logic-based languages
- Tableau reasoning for description logics and its extension to probabilities
- SWI-Prolog
- proSQLite
- plml
- Real
- PIDoc
- scientific article; zbMATH DE number 7453126 (Why is no real title available?)
- Advances in integrative statistics for logic programming
This page was built for software: Pengines
