Programming Language - AUTOMATH

AUTOMATH

AUTOMATH - Eindhoven, Netherlands. A very high level language for writing
proofs. "The Mathematical Language AUTOMATH, Its Usage and Some of its
Extensions", N.G. deBruijn, in Symp on Automatic Demonstration, LNM 125,
Springer 1970.

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

12 plus 0? *   Robot Spam Prevention

 

Next Language:   Autopass

Browse by Letter

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z