JACQUES HERBRAND: LIFE, LOGIC, AND AUTOMATED DEDUCTION

by Claus-Peter Wirth , Jörg Siekmann , Christoph Benzmüller , Serge Autexier

Document Versions

JACQUES HERBRAND: LIFE, LOGIC, AND AUTOMATED DEDUCTION –Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier
JACQUES HERBRAND: LIFE, LOGIC, AND AUTOMATED DEDUCTION –Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier — 2009