scientific article
From MaRDI portal
Publication:3016134
zbMath1216.03016MaRDI QIDQ3016134
Publication date: 13 July 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) History of mathematical logic and foundations (03-03) History of computer science (68-03)
Related Items
Foundations of everyday practical reasoning ⋮ Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi
This page was built for publication: