33 Ebooks by Wolfgang Bibel
Patricia S. Churchland & Terrence J. Sejnowski: Grundlagen zur Neuroinformatik und Neurobiologie
…
PDF
Jerman
DRM
€66.06
Jorg Biethahn & Albrecht Honerloh: Betriebswirtschaftliche Anwendungen des Soft Computing
…
PDF
Jerman
DRM
€43.72
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 difficul …
PDF
Inggeris
DRM
€58.04
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 t …
PDF
Inggeris
DRM
€115.17
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 proje …
PDF
Inggeris
DRM
€57.35
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 w …
PDF
Inggeris
DRM
€114.60
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
Jerman
DRM
€43.63
Christoph Beierle & Gabriele Kern-Isberner: Methoden wissensbasierter Systeme
…
PDF
Jerman
DRM
€43.53
David A. Plaisted & Yunshan Zhu: The Efficiency of Theorem Proving Strategies
…
PDF
Jerman
DRM
€43.65
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 i …
PDF
Jerman
DRM
€47.51
Christoph Beierle & Gabriele Kern-Isberner: Methoden wissensbasierter Systeme
…
PDF
Jerman
DRM
€43.73
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 ed …
PDF
Inggeris
DRM
€57.35
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 Vo …
PDF
Jerman
DRM
€36.37
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 praktisch …
EPUB
Jerman
DRM
€20.49
Christoph Beierle & Gabriele Kern-Isberner: Methoden wissensbasierter Systeme
…
PDF
Jerman
DRM
€34.87
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
Jerman
DRM
€16.63
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 p …
PDF
Inggeris
DRM
€230.77
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, math …
PDF
Inggeris
DRM
€166.30
Wolfgang Bibel & Bruno Buchberger: Artificial Intelligence — Eine Einführung
…
PDF
Jerman
DRM
€36.29
Wolfgang Bibel & Klaus P. Jantke: Mathematical Methods of Specification and Synthesis of Software Systems ‘85
No detailed description available for ‘Mathematical Methods of Specification and Synthesis of Software Systems ‘85’. Das E-Book Mathematical Methods of Specification and Synthesis of Software Systems …
PDF
Inggeris
DRM
€129.00
