Author: Wolfgang Bibel

Support

32 Ebooks by Wolfgang Bibel

P. P. Chakrabarti & Pallab Dasgupta: Multiobjective Heuristic Search
A large number of problems require the optimization of multiple criteria. These crite- ria are often non-commensurate and sometimes conflicting in nature making the task of optimization more …
PDF
English
DRM
€56.92
Thomas A. Runkler: Information Mining
PDF
German
DRM
€38.78
Wolfgang Bibel: Automated Theorem Proving
Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues …
PDF
English
DRM
€112.51
Axel Angeli & Robi Gonfalonieri: SAP R/3(R) Guide to EDI and Interfaces
Where Has the Money Gone? 1.1 Communication ………………………………………………………………………………………………… 2 More than 80% of the time of an EDI …
PDF
English
DRM
€56.51
Ernst A. Heinz: Scalable Search in Computer Chess
This book presents the results of our past two-and-a-half years of research aimed at increasing the scalability and performance of game-tree search in computer chess. We elaborate on our respective …
PDF
English
DRM
€113.45
Wolfgang Bibel & H. Fiedler: Ausgezeichnete Informatikdissertationen 1996
Die Gesellschaft für Informatik (GI) zeichnet jedes Jahr eine Informatikdisser­ tation durch einen Preis aus. Die Auswahl dieser Dissertation stützt sich auf die von den Universitäten und Hochschulen …
PDF
German
DRM
€43.01
Wolfgang Bibel & Norbert Eisinger: Studien- und Forschungsführer Künstliche Intelligenz
Der vorliegende Studien- und Forschungsführer Künstliche Intelligenz gibt einen aktuellen Überblick über die in der Bundesrepublik Deutschland und in Österreich bestehenden Ausbildungsmöglichkeiten …
PDF
German
DRM
€46.18
David A. Plaisted & Yunshan Zhu: Efficiency of Theorem Proving Strategies
This is the second and slightly revised edition of this book. A few errors have been fixed, and some references to related work have been added. I thank the readers for their comments on the first …
PDF
English
DRM
€56.51
Rudolf Seising: Fuzzy Theorie und Stochastik
Alle Prozesse in der Natur enthalten eine oder mehrere ungewisse Komponenten, zeigen Ungewißheiten oder haben einen mehr oder weniger ungewissen Ausgang. Dabei kann man unterscheiden, ob man einen …
PDF
German
DRM
€35.59
Wolfgang Ertel: Grundkurs Künstliche Intelligenz
Alle Teilgebiete der KI werden mit dieser Einführung kompakt, leicht verständlich und anwendungsbezogen dargestellt. Hier schreibt jemand, der das Gebiet nicht nur bestens aus Forschung und …
EPUB
German
DRM
€20.29
Wolfgang Ertel: Grundkurs Künstliche Intelligenz
Mit dem Verstehen von Intelligenz und dem Bau intelligenter Systeme gibt sich die Kunstlic ¨ he Intelligenz (KI) ein Ziel vor. Die auf dem Weg zu diesem Ziel zu verwendenden Methoden und Formalismen …
PDF
German
DRM
€16.41
Wolfgang Bibel & P.H. Schmitt: Automated Deduction – A Basis for Applications Volume I Foundations – Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot …
PDF
English
DRM
€224.87
Wolfgang Bibel & P.H. Schmitt: Automated Deduction – A Basis for Applications Volume I Foundations – Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
We are invited to deal with mathematical activity in a sys- tematic way [ … ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy- chology, logic, …
PDF
English
DRM
€162.71
Wolfgang Bibel: Deduktion
PDF
German
DRM
€109.95