Automath; View on Open Library

Automath;

by N. G. de Bruijn

No reviews yet
First published: 1973 1 language ISBN: 0840502230
Subjects
AUTOMATH (Formal language) AUTOMATH (Langage formalisé)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by N. G. de Bruijn

Asymptotic methods in analysis

Asymptotic methods in analysis

Over modulaire vormen van meer veranderlijken

Over modulaire vormen van meer veranderl...

You Might Also Like

More in AUTOMATH (Formal lan...
Thirty Five Years of Automating Mathematics (Applied Logic Series)

Thirty Five Years of Automating Mathemat...

F.D. Kamareddine
Abstract automath

Abstract automath

A. Rezus
Bewijzen in de wiskunde

Bewijzen in de wiskunde

Checking Landau's "Grundlagen" in the automath system

Checking Landau's "Grundlagen" in the au...

L. S. van Benthem Jutting
Selected papers on Automath

Selected papers on Automath

R. P. Nederpelt