LIBRARY Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker 2017 · GERMAN · PDF View details →
LIBRARY Reasoning Web: First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures 2005 · ENGLISH · PDF View details →
LIBRARY Reasoning Web: Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures 2007 · ENGLISH · PDF View details →
LIBRARY Reasoning Web: First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures 2005 · ENGLISH · PDF View details →