Machinale verificatie van redeneringen : een beschrijving van het Automath project

N.G. Bruijn, de

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Popular

36 Downloads (Pure)

Original language	Dutch
Title of host publication	Bewijzen in de wiskunde / onder red. van P.W.H. Lemmens
Place of Publication	Amsterdam
Publisher	Centrum voor Wiskunde en Informatica
Pages	61-80
ISBN (Print)	90-6196-373-7
Publication status	Published - 1989

Name	CWI syllabus
Number	24

Access to Document

@inbook{2eeabaeb342f447d9872f30464282e4c,

title = "Machinale verificatie van redeneringen : een beschrijving van het Automath project",

author = "{Bruijn, de}, N.G.",

year = "1989",

language = "Nederlands",

isbn = "90-6196-373-7",

series = "CWI syllabus",

publisher = "Centrum voor Wiskunde en Informatica",

number = "24",

pages = "61--80",

booktitle = "Bewijzen in de wiskunde / onder red. van P.W.H. Lemmens",

}