Handbook of Practical Logic and Automated Reasoning
165.50 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.