1 gen 1600 anni - Gottfried Leibniz

Descrizione:

- Gottfried Leibniz made an incredible achievements in symbolic logic, and made developments in First-order logic.He contributed a lot to the development of theoretical computer science.
- Since lots of his work still remained and we still use today, he truly did a huge impact on the computer science.

Aggiunto al nastro di tempo:

Data: