Grundlagen des maschinellen Beweisens : Eine Einführung für Informatiker und Mathematiker

Front Matter....Pages I-VIII Grundbegriffe der Prädikatenlogik....Pages 1-32 Resolution....Pages 33-46 Einschränkung des Suchraumes....Pages 47-84 Repräsentation des Suchraums....Pages 85-102 Paramodulation....Pages 103-112 Termersetzung: Grundlagen....Pages 113-128 Termersetzung: Spezielle Techniken....Pages 129-154 Back Matter....Pages 155-172