The nationwide research project `Deduktion', funded by the`Deutsche Forschungsgemeinschaft (DFG)'...
This volume contains the elaborated and harmonized versions of seven lectures given at the first ...
Dieses Buch bietet eine gut verständliche und umfassende Lebenshilfe auf hohem Niveau. Es unterst...
Leonhard Wolfgang Bibel (*1938) gilt als einer der Begründer der Künstlichen Intelligenz (KI) in ...
We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect an...
Das Gebiet der Wissenspräsentation und Inferenz umfaßt einen zentralen Bereich der Intellektik, d...
Since both the coments and the structure of the book appeared to be successful, only minor change...
Unsere Zeit ist geprägt von immer komplexeren Systemen und Mechanismen. Gemeint sind die natürlic...
1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at t...
Using meta-theoretic reasoning to do algebra.- Generating contours of integration: An application...
The nationwide research project `Deduktion', funded by the`Deutsche Forschungsgemeinschaft (DFG)'...
This volume contains the elaborated and harmonized versions of seven lectures given at the first ...
We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect an...
Artificial Intelligence - Eine Einführung
Verification of an alternating bit protocol by means of process algebra protocol.- Predicative pr...
1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at t...
Der vorliegende Studien- und Forschungsführer Künstliche Intelligenz gibt einen aktuellen Überbli...
Among the dreams of mankind is the one dealing with the mecha nization of human thought. As the w...
Die Gesellschaft für Informatik (GI) zeichnet jedes Jahr eine Informatikdisser tation durch einen...
No detailed description available for 'Mathematical Methods of Specification and Synthesis of Sof...
The nationwide research project `Deduktion', funded by the`Deutsche Forschungsgemeinschaft (DFG)'...
Unser bisheriger Preis:ORGPRICE: 413,50 €
A large number of problems require the optimization of multiple criteria. These crite ria are oft...
Unser bisheriger Preis:ORGPRICE: 99,99 €