scientific article; zbMATH DE number 753776
From MaRDI portal
Publication:4698609
zbMath0823.03013MaRDI QIDQ4698609
Luis Fariñas del Cerro, Gabriella Crocco
Publication date: 31 October 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Cut-elimination and normal-form theorems (03F05)
Related Items
This page was built for publication:
