Pages that link to "Item:Q2931263"
From MaRDI portal
The following pages link to Pengines: Web Logic Programming Made Easy (Q2931263):
Displaying 6 items.
- Pengines (Q24337) (← links)
- Advances in integrative statistics for logic programming (Q324669) (← links)
- Tableau reasoning for description logics and its extension to probabilities (Q1653448) (← links)
- SWI-Prolog and the web (Q3506438) (← links)
- (Q5020572) (← links)
- Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages (Q5197752) (← links)