ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Electronic Resource

Mechanization of Mathematics (1950)

[s.l.] : Nature Publishing Group

Nature 166 (1950), S. 1087-1087

add to mindlist on the mindlist

Details

ISSN: 1476-4687

Source: Nature Archives 1869 - 2009

Topics: Biology , Chemistry and Pharmacology , Medicine , Natural Sciences in General , Physics

Notes: [Auszug] THE almost exponential rise in the output of scientific and technical research which has been such a marked feature of the past few decades has presented many mathematical problems the solution of which is not possible by known formal methods. The result has been on one hand the development of ...

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1038/1661087a0

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit