Checking mathematics with computer assistance

N.G. Bruijn, de

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Populair

43 Downloads (Pure)

Originele taal-2	Engels
Pagina's (van-tot)	8-15
Tijdschrift	Notices of the American Mathematical Society
Volume	38
Nummer van het tijdschrift	1
Status	Gepubliceerd - 1991

Toegang tot document

@article{c9a67c6c67f04afb8c496500519375a4,

title = "Checking mathematics with computer assistance",

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

year = "1991",

language = "English",

volume = "38",

pages = "8--15",

journal = "Notices of the American Mathematical Society",

issn = "0002-9920",

publisher = "American Mathematical Society",

number = "1",

}