6 citations · 12 across the 5 of their papers we have counts for
1 paper · 2 filters
Claus-Peter Wirth, Joerg Siekmann, Christoph Benzmueller +1
We give some lectures on the work on formal logic of Jacques Herbrand, and sketch his life and his influence on automated theorem proving. The intended audience ranges from student…