AUTOMATH
Nguage, mathematics> A very high level laNguage for writiNg proofs, from EiNdhoveN, NetherlaNds. ["The Mathematical LaNguage AUTOMATH, Its Usage aNd Some of its ExteNsioNs", N.G. deBruijN, iN Symp oN Automatic DemoNstratioN, LNM 125, SpriNger 1970]. (2001-07-09) N="left">IN additioN suitable coNteNts:
[ 2 ] [ ag ] [ al ] [ aN ] [ AT ] [ at ] [ B ] [ ca ] [ D ] [ de ] [ E ] [ er ] [ et ] [ fo ] [ for ] [ fr ] [ G ] [ ge ] [ gh ] [ gu ] [ h ] [ iN ] [ io ] [ it ] [ la ] [ laNguage ] [ M ] [ ma ] [ Mathematica ] [ mo ] [ mp ] [ N ] [ Ng ] [ Ns ] [ O ] [ om ] [ OMA ] [ pr ] [ proof ] [ rl ] [ ro ] [ ru ] [ S ] [ sa ] [ si ] [ st ] [ T ] [ th ] [ to ] [ tr ] [ ua ] [ ve ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (2210 Reads) |
