AUTOMATH
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) 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 - (2151 Reads) |
