6 citations · 12 across the 5 of their papers we have counts for
1 paper · 1 filter
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…