Diskussion:Reasoner

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Es können auch Reasoner im Sinne von automatischer Beweisführung/Schlussfolgerung gemeint sein, entsprechend http://en.wikipedia.org/wiki/Reasoner.