scientific article; zbMATH DE number 1129256

zbMath0891.03007MaRDI QIDQ4380479

Aarne Ranta

Publication date: 1997

Full work available at URL: http://www.numdam.org/item?id=MSH_1997__138__5_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

constructive type theoryMontague grammarmathematical symbolismdeclarative implementation in the proof editor ALFfragment of Frenchtextual structures of proofs

Mathematics Subject Classification ID

Logic of natural languages (03B65) Natural language processing (68T50)

This page was built for publication: