Handbook of Practical Logic and Automated Reasoning
176.60 EUR
Ein kompakter Leitfaden, der Logiksysteme mit praktischen Algorithmen verknüpft und anhand von Fallstudien zeigt, wie man automatisierte Beweissysteme implementiert; ein unverzichtbares Werkzeug für Informatiker und Mathematiker.