scientific article
From MaRDI portal
Publication:2762867
zbMath0976.03011MaRDI QIDQ2762867
Publication date: 13 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2014/20140011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic of natural languages (03B65) Mechanization of proofs and logical operations (03B35) Natural language processing (68T50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (1)
This page was built for publication: