Tag: reasoning calculus

1 events with tag "reasoning calculus"

1714 ID: 437

Leibniz's mature work on characteristica universalis and calculus ratiocinator, envisioning mechanical reasoning

ID: 437