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