KeYmaera, az elektronikus őrangyal

2009. november 18. 10:06, Gondola

A közlekedés szédítő fejlődésével együtt jár a karambolok szaporodása is földön, vízen és levegőben egyaránt. A pittsburghi Carnegie Mellon Egyetem számítógépes fejlesztője, André Platzer szerint...

Tovább a teljes cikkre...

Keresés