scientific article; zbMATH DE number 4189221
From MaRDI portal
Publication:5753555
zbMath0721.68063MaRDI QIDQ5753555
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
This page was built for publication: