wolfgang bibel
Ausgezeichnete Informatikdissertationen 1996
EbookSofort lieferbarDie Gesellschaft für Informatik (GI) zeichnet jedes Jahr eine Informatikdissertation durch eine...
Wissensrepräsentation und Inferenz
EbookSofort lieferbarDas Gebiet der Wissenspräsentation und Inferenz umfaßt einen zentralen Bereich der Intellektik, d...
Studien- und Forschungsführer Künstliche Intelligenz
EbookSofort lieferbarDer vorliegende Studien- und Forschungsführer Künstliche Intelligenz gibt einen aktuellen Überbli...
Lehren vom Leben
EbookSofort lieferbarDieses Buch bietet eine gut verständliche und umfassende Lebenshilfe auf hohem Niveau. Es unterst...
Automated Theorem Proving
EbookSofort lieferbarSince both the coments and the structure of the book appeared to be successful, only minor change...
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
EbookSofort lieferbar1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at t...
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
EbookSofort lieferbarWe are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect a...