Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 1129259 - MaRDI portal

scientific article; zbMATH DE number 1129259

From MaRDI portal

Publication:4380482

Jump to:navigation, search

zbMath0891.03008MaRDI QIDQ4380482

Aarne Ranta

Publication date: 1997

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

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

zbMATH Keywords

constructive type theory Montague grammar mathematical symbolism declarative implementation in the proof editor ALF fragment of French textual structures of proofs

Mathematics Subject Classification ID

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

Related Items (1)

Parsing and Disambiguation of Symbolic Mathematics in the Naproche System

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4380482&oldid=18380554"