Wolfgang Bibel – författare
Visar alla böcker från författaren Wolfgang Bibel. Handla med fri frakt och snabb leverans.
44 produkter
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Av Wolfgang Bibel, P.H. Schmitt
Inbunden, 1998
2185 kr
Lägg i varukorg
The nationwide research project `Deduktion', funded by the `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive cooperation and exchange of ideas led to considerable …
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Av Wolfgang Bibel, P.H. Schmitt
Inbunden, 1998
2185 kr
Lägg i varukorg
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 prove without the tools, and the tools cannot prove without us. Interaction typi cally is needed, …
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Av Wolfgang Bibel, P.H. Schmitt
Inbunden, 1998
1690 kr
Lägg i varukorg
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, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a …
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Av Wolfgang Bibel, P.H. Schmitt
1998
4212 kr
Lägg i varukorg
The nationwide research project "Deduktion", funded by the "Deutsche Forschungsgemeinschaft (DFG)" for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive co-operation and exchange of ideas led to considerable …
Mathematical Methods of Specification and Synthesis of Software Systems ‘85
Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985
Av Wolfgang Bibel, Klaus P. Jantke
Inbunden, 1986
2060 kr
Lägg i varukorg
No detailed description available for "Mathematical Methods of Specification and Synthesis of Software Systems ‘85".
Mathematical Methods of Specification and Synthesis of Software Systems '85
Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985
Av Klaus P. Jantke, Wolfgang Bibel
E-bok, 1987
1775 kr
Lägg i varukorg
No detailed description available for "Mathematical Methods of Specification and Synthesis of Software Systems ‘85".
Wissensrepräsentation und Inferenz
Eine grundlegende Einführung
Av Torsten Schaub, Steffen Holldobler m. fl.
E-bok, 2013
492 kr
Lägg i varukorg
Grundlagen zur Neuroinformatik und Neurobiologie
The Computational Brain in deutscher Sprache
Av Patricia S. Churchland, Terrence J. Sejnowski m. fl.
Häftad, 2012
821 kr
Lägg i varukorg
The Computational Brain, das aussergewohnliche Buch uber vergleichende Forschung in den Bereichen von menschlichem Gehirn und neuesten Moglichkeiten der Computertechnologie, liegt hiermit erstmals in deutscher Sprache vor. Geschrieben von einem fuhrenden Forscherteam in den USA, ist es eine …
Fuzzy-Systems in Computer Science
Av Rudolf Kruse, Jörg Gebhardt m. fl.
Häftad, 2012
567 kr
Lägg i varukorg
This book contains a selection of revised papers and state-of-the-art overviews on current trends and future perspectives of fuzzy systems. A major aim is to address theoretical as well as application-oriented issues and to contribute to the foundation of concepts, methods, and tools in this field. …
Automated Theorem Proving
E-bok, 2013
1427 kr
Lägg i varukorg
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 to reflect the state of the art in the field. The most significant change is in the quality of the …
SAP R/3® Guide to EDI and Interfaces
Cut your Implementation Cost with IDocs®, ALE® and RFC®
Av Axel Angeli, Ulrich Streit m. fl.
Häftad, 2014
552 kr
Lägg i varukorg
Where Has the Money Gone? 1.1 Communication ............................................................................................................... 2 More than 80% of the time of an EDI project is lost in waiting for answers, trying to understand proposals and retrieving data nobody …
Ausgezeichnete Informatikdissertationen 1996
Im Auftrag der Gl herausgegeben durch den Nominierungsausschuß
Av Friedrich Roithmayr, K. Rudiger Reischuk m. fl.
E-bok, 2013
542 kr
Lägg i varukorg
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 für diesen Preis vorgeschlagenen Dissertationen. Somit sind die Teilnehmer an dem Auswahlverfahren …
Artificial Intelligence — Eine Einführung
Av Harald Trost, Robert Trappl m. fl.
E-bok, 2019
462 kr
Lägg i varukorg
Ausgezeichnete Informatikdissertationen 1996
Im Auftrag der Gl herausgegeben durch den Nominierungsausschuß
Av Wolfgang Bibel, H. Fiedler m. fl.
Häftad, 1998
515 kr
Lägg i varukorg
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 für diesen Preis vorgeschlagenen Dissertationen. Somit sind die Teilnehmer an dem Auswahlverfahren …
Artificial Intelligence — Eine Einführung
Av Johannes Retti, Wolfgang Bibel m. fl.
Häftad, 1986
516 kr
Lägg i varukorg
Wissensbasierte Systeme
Architektur, Entwicklung, Echtzeitanwendungen - Eine praxisgerechte Einführung
Av Doris Altenkrüger, Winfried Büttner m. fl.
Häftad, 1992
567 kr
Lägg i varukorg
Wissensbasierte Systeme bilden ein Teilgebiet der Künstlichen Intelligenz (KI) und umfassen schwerpunktmäßig Expertensysteme, aber z.B. auch Natürlichsprachliche und Bildverstehende Systeme. Wissensbasierte Systeme verfügen über komplexe Formalismen zur Repräsentation und umfangreiche Techniken zur …
Wissensrepräsentation und Inferenz
Eine grundlegende Einführung
Av Wolfgang Bibel, Steffen Hölldobler m. fl.
Häftad, 1993
618 kr
Lägg i varukorg
Das Gebiet der Wissenspräsentation und Inferenz umfaßt einen zentralen Bereich der Intellektik, d.h. des Gebietes der Künstlichen Intelligenz und der Kognitionswissenschaft. Es behandelt einerseits die Fragen nach einer formalen Beschreibung von Wissen jeglicher Art, besonders unter dem Aspekt …
Neuronale Netze
Grundlagen und Anwendungen
Av Andreas Scherer, Wolfgang Bibel
Häftad, 1997
515 kr
Lägg i varukorg
Neuronale Netze sind in den letzten Jahren Gegenstand intensiver Forschungen gewesen. Dieses Buch verbindet die Darstellung neuester Ergebnisse aus dem Bereich der Lernverfahren mit anwendungsbezogenen Aspekten. Es werden methodische Prinzipien der Erstellung von Softwaresystemen, die auf …
Einführung in Evolutionäre Algorithmen
Optimierung nach dem Vorbild der Evolution
Av Volker Nissen, Wolfgang Bibel
Häftad, 1997
465 kr
Lägg i varukorg
Fuzzy-Clusteranalyse
Verfahren für die Bilderkennung, Klassifizierung und Datenanalyse
Av Frank Höppner, Frank Klawonn m. fl.
Häftad, 1997
465 kr
Lägg i varukorg
Dieses Buch ist das Standardwerk zu einem neuen Bereich der angewandten Fuzzy-Technologie, der Fuzzy-Clusteranalyse. Diese beinhaltet Verfahren der Mustererkennung zur Gruppierung und Strukturierung von Daten. Dabei werden im Gegensatz zu klassischen Clustering-Techniken die Daten nicht eindeutig …
Multiobjective Heuristic Search
An Introduction to intelligent Search Methods for Multicriteria Optimization
Av Pallab Dasgupta, P. P. Chakrabarti m. fl.
Häftad, 1999
568 kr
Lägg i varukorg
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 difficult. In such problems, the task of creating a combined opti mization function is often not easy. …
Scalable Search in Computer Chess
Algorithmic Enhancements and Experiments at High Search Depths
Av Ernst A. Heinz, Wolfgang Bibel
Häftad, 1999
1129 kr
Lägg i varukorg
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 works in the areas of (I) selective forward pruning, (II) the efficient application of …
Information Mining
Methoden, Algorithmen und Anwendungen intelligenter Datenanalyse
Av Thomas A. Runkler, Wolfgang Bibel
Häftad, 2000
567 kr
Lägg i varukorg
Das Buch behandelt die wichtigsten Methoden zur Erkennung und Extraktion von "Wissen" aus numerischen und nichtnumerischen Datenbanken in Technik und Wirtschaft. Hierzu gehören Algorithmen zur Vorverarbeitung, Aufbereitung, Visualisierung und Analyse von Daten. Neben linearen statistischen Methoden …
Efficiency of Theorem Proving Strategies
A Comparative and Asymptotic Analysis
Av David A. Plaisted, Yunshan Zhu m. fl.
Häftad, 1999
552 kr
Lägg i varukorg
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 edition. We analyze the search efficiency of a number of common refutational theorem proving …
Sehen und die Verarbeitung visueller Information
Eine Einführung
Av Hanspeter A. Mallot, Wolfgang Bibel
Häftad, 2000
465 kr
Lägg i varukorg
Sehen ist die Ermittlung von Informationen aus Bildern. Welche Informationsquellen dabei genutzt werden und wie die Auswertung im Einzelnen vorgenommen werden kann, ist Gegenstand dieses einführenden Lehrbuches. Es behandelt die sogenannte Kompetenztheorie des Sehens für die elementaren …
Automated Theorem Proving
Häftad, 1987
1129 kr
Lägg i varukorg
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 to reflect the state of the art in the field. The most significant change is in the quality of the …
5th Conference on Automated Deduction
Les Arcs, France, July 8-11, 1980
Av Wolfgang Bibel, R. Kowalski
Häftad, 1980
552 kr
Lägg i varukorg
