Gottfried Leibniz (1 Jul 1646 Jahr – 14 Nov 1716 Jahr)

Beschreibung:

Made an incredible achievements in symbolic logic: Leibniz’s law (in First-order logic)

Made developments in First-order logic: Leibniz’s Rule (in Mathematics)

These were the significant development in theoretical computer science.

Zugefügt zum Band der Zeit:

Datum: