Search results
Results from the WOW.Com Content Network
Pioneering work on automata theory, parallel computing, artificial intelligence, man-machine interfaces and computer graphics; one of the lead architects of the TR 4 supercomputer; invented Händler diagrams for logic function minimization; devised the Erlangen Classification System (ECS) for parallel computers
The Science of Computing: Shaping a Discipline. Taylor and Francis / CRC Press. ISBN 978-1-4822-1769-8. Kak, Subhash : Computing Science in Ancient India; Munshiram Manoharlal Publishers Pvt. Ltd (2001) The Development of Computer Science: A Sociocultural Perspective Matti Tedre's Ph.D. Thesis, University of Joensuu (2006) Ceruzzi, Paul E. (1998).
Joseph Carl Robnett Licklider (/ ˈ l ɪ k l aɪ d ər /; March 11, 1915 – June 26, 1990), known simply as J. C. R. or "Lick", was an American psychologist [3] and computer scientist who is considered to be among the most prominent figures in computer science development and general computing history.
J. Lyons, a United Kingdom food company, famous for its tea, made history by running the first business application on an electronic computer. A payroll system was run on Lyons Electronic Office (LEO) a computer system designed by Maurice Wilkes who had previously worked on EDSAC .
Louis Hodes – Lisp, pattern recognition, logic programming, cancer research; John Henry Holland – pioneer in what became known as genetic algorithms, developed Holland's schema theorem, Learning Classifier Systems; Allen Holub – author and public speaker, Agile Manifesto signatory; Grace Hopper – Harvard Mark I computer, FLOW-MATIC, COBOL
The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma. Oxford University Press. ISBN 0-19-825080-0. Turing, Sarah (1959). Alan M. Turing. Heffer. Yates, David M. (1997). Turing's Legacy: A History of Computing at the National Physical Laboratory, 1945–1995.
Resolution and unification have since been incorporated in many automated theorem-proving systems and are the basis for the inference mechanisms used in logic programming and the programming language Prolog. [5] Robinson was the Founding Editor of the Journal of Logic Programming, and has received numerous honours
Stibitz was born in York, Pennsylvania, the son of Mildred Murphy, a math teacher, and George Stibitz, a German Reformed minister and theology professor. Throughout his childhood, Stibitz enjoyed assembling devices and systems, working with material as diverse as a toy Meccano set or the electrical wiring of the family home. [3]