33 द्वारा ईबुक Wolfgang Bibel
Jorg Biethahn & Albrecht Honerloh: Betriebswirtschaftliche Anwendungen des Soft Computing
…
PDF
जर्मन
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
अंग्रेज़ी
DRM
€57.49
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
अंग्रेज़ी
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
अंग्रेज़ी
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
अंग्रेज़ी
DRM
€114.52
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
जर्मन
DRM
€43.68
Christoph Beierle & Gabriele Kern-Isberner: Methoden wissensbasierter Systeme
…
PDF
जर्मन
DRM
€43.66
David A. Plaisted & Yunshan Zhu: The Efficiency of Theorem Proving Strategies
…
PDF
जर्मन
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
जर्मन
DRM
€47.51
Christoph Beierle & Gabriele Kern-Isberner: Methoden wissensbasierter Systeme
…
PDF
जर्मन
DRM
€43.55
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
अंग्रेज़ी
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
जर्मन
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
जर्मन
DRM
€20.55
Christoph Beierle & Gabriele Kern-Isberner: Methoden wissensbasierter Systeme
…
PDF
जर्मन
DRM
€34.48
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
जर्मन
DRM
€16.68
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
अंग्रेज़ी
DRM
€230.51
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
अंग्रेज़ी
DRM
€166.30
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
अंग्रेज़ी
DRM
€129.00
