News tagged with program

Tour of Boeing's CST-100 Spaceliner to LEO

On Monday, June 9, Boeing revealed the design of their CST-100 astronaut spaceliner aimed at restoring Americas ability to launch our astronauts to low-Earth orbit (LEO) and the International Space Station ...

Jun 13, 2014
3.5 / 5 (11) 6

Logic in computer science

All men are mortal. Socrates is a man. Therefore, Socrates is mortal. Logical arguments like this one have been studied since antiquity. In the last few decades, however, logic research has changed considerably: ...

May 27, 2014
4.2 / 5 (5) 0