Search results
Results from the WOW.Com Content Network
Computer Pioneer Award; IEEE John von Neumann Medal; Grace Murray Hopper Award; History of computing. History of computing hardware; History of computing hardware (1960s–present) History of software; List of computer science awards; List of computer scientists; List of Internet pioneers; List of people considered father or mother of a field ...
John Vincent Atanasoff – computer pioneer, creator of Atanasoff Berry Computer (ABC) Shakuntala Atre – database theory; Lennart Augustsson – languages (Lazy ML, Cayenne), compilers (HBC Haskell, parallel Haskell front end, Bluespec SystemVerilog early), LPMud pioneer, NetBSD device drivers
Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and computer scientist, whose research is concerned with developing both human-oriented models of computing and computational models of human thinking. [1]
Journal of Logic, Language and Information, 1992 ff. Journal of Logic Programming, (Elsevir Publ.) 1984–2000. Continued by Theory and Practice of Logic Programming and The Journal of Logic and Algebraic Programming. Journal of Mathematical Logic, 2001 ff. Journal of Non-Classical Logic, 1982–1991. Journal of Multiple-Valued Logic and Soft ...
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).
Alonzo Church (June 14, 1903 – August 11, 1995) was an American computer scientist, mathematician, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. [2]
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
However, since 2000, the idea has resurfaced in new forms (see application service provider, grid computing, and cloud computing). In 1966, McCarthy and his team at Stanford wrote a computer program used to play a series of chess games with counterparts in the Soviet Union; McCarthy's team lost two games and drew two games (see Kotok-McCarthy).