von Patrick Gebhard
EUR 55,00
Patrick Gebhard
Automatisches Beweisverfahren Prädikatenlogik Quantorenelimination Wissensrepräsentation