scientific article
From MaRDI portal
Publication:3571951
zbMath1192.68117MaRDI QIDQ3571951
Patrick Blackburn, Kristina Striegnitz, Johan Bos
Publication date: 29 June 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Logic programming (68N17)
Related Items (3)
Norm-based mechanism design ⋮ Fifty Years of Prolog and Beyond ⋮ Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages
This page was built for publication: