Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
ESSLLI'03 & CSL'03. Vienna, August 26, 2003 Back to the Future
 

Summary: ESSLLI'03 & CSL'03. Vienna, August 26, 2003
Back to the Future:
Explicit Logic for Computer Science
Sergei N. Artemov
Graduate Center of the City University of New York
TIME100 project: "The greatest scientists of the century"
(20 positions):
Technology - 6 (airplane, rocket, TV, transistor, plastic, WWW)
Biology & Medicine - 4 (psychoanalysis, penicillin, DNA, polio)
Physics & Astronomy - 3 (Einstein, Fermi, Hubble)
Anthropology - 1 (The Leakeys)
Economy - 1 (Keynes)
Environment - 1 (Rachel Carson)
Psychology - 1 (Piaget)
Computer Science - 1 (?)
Mathematics - 1 (?)
Philosophy - 1 (?)
TIME100 project: "The greatest scientists of the century"
(20 positions):
Technology - 6 (airplane, rocket, TV, transistor, plastic, WWW)

  

Source: Artemov, Sergei N. - Faculty of Mechanics and Mathematics, Moscow State University

 

Collections: Computer Technologies and Information Sciences