Theorembeweiser

==> Beweisen, automatisches

==> Resolution

==> Theorem

<== Programmiersprachen

==> Prolog

<== Künstliche Intelligenz, Geschichte der

<== Planen

<== Truth-maintenance System