scientific article; zbMATH DE number 7238899
From MaRDI portal
Publication:5116398
zbMath1440.03054MaRDI QIDQ5116398
Phan Minh Dung, Phan Minh Thang
Publication date: 25 August 2020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logic in computer science (03B70) Proof theory in general (including proof-theoretic semantics) (03F03)
This page was built for publication: