
	Where results make sense

Topic: Bendix G 20

Related Topics

March 20

November 20

January 20

September 20

April 20

October 20

February 20

May 20

July 20

August 20

June 20

December 20

In the News (Mon 28 May 12)

EXECUTIVE POWER

Iran

ANALYSIS

Pakistan

Family compact

	Hexadecimal - Wikipedia, the free encyclopedia
		An earlier version, using the digits 0–9 and u–z, was used by the Bendix G-15 computer, introduced in 1956.
		The earlier Bendix documentation used the term "sexadecimal".
		During the 1950s, some installations favored using the digits 0 through 5 with a macron to indicate the values 10-15.
	en.wikipedia.org /wiki/Hexadecimal (2027 words)

	Maxwell School of Syracuse University
		Jacob Bendix is associate professor of geography and an adjunct associate professor of earth sciences.
		Bendix has a particular interest in the ways in which human activities may alter natural processes (e.g.
		He has also conducted research on how news media cover environmental issues: as an environmental scientist he is interested in how the scientific aspects of these issues are presented and as a citizen he is concerned with their impact on policy formulation.
	www.maxwell.syr.edu /news/expertise/bios.asp (8158 words)

	Bendix-G15-1950s
		The BENDIX G-15 computer was manufactured by Bendix Aviation Corporation, Computer Division, Los Angeles, California, in the mid to late 1950's.
		The BENDIX G-15 was about 5 x 3 x 3 feet and weighed about 950 pounds.
		The G-15D could perform addition or subtraction functions at about 2.5 milliseconds and multiplication or division at about 20 milliseconds.
	www.computermuseum.li /Testpage/Bendix-G15-1950s.htm (128 words)

	Automated Reasoning
		Gentzen, G., 1935, "Investigations into Logical Deduction", in Szabo (1969), pp.68-131.
		Huet, G. P., 1975, "A Unification Algorithm for Typed λ-calculus", Theoretical Computer Science, Vol.
		Miller, D. and G. Nadathur, 1988, "An Overview of λProlog", Proceedings of the Fifth International Logic Programming Conference — Fifth Symposium in Logic Programming, R. Bowen and R. Kowalski, ed., MIT Press.
	plato.stanford.edu /entries/reasoning-automated (12208 words)

	The Virtual Museum of Computing
		First Generation Computers, including the Bendix G-15 (1956).
		See also some history and 20 Year Usenet Archive from Google Groups.
		Why Computers are Computers, a book by David Rutland, including excerpts and some answers to FAQs.
	palimpsest.stanford.edu /icom/vlmp/computing.html (3012 words)

Try your search on: Qwika (all wikis)