scientific article
From MaRDI portal
Publication:2702281
zbMath0966.03027MaRDI QIDQ2702281
Publication date: 12 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
proof theoryproof treelinguisticsPolish notationformal grammarHilbert-style proofsfrontier propertygrammatical consequence operationunification based learning algorithms
Logic of natural languages (03B65) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (1)
This page was built for publication:
