Show Less
Restricted access

Tableau, Tableauresolution und Tableaugraphresolution

Ein neuer Weg zur Automatischen Deduktion

Series:

Wanlin Li

Aus dem Inhalt: Automatisches Beweisen - Prädikatenlogik erster Stufe - Tableaus - Tableauresolution - Tableaugraphresolution - Polybaum - Kodierung von Tableaus.