che-chandler.de

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 t...

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 a...

Betriebswirtschaftliche Anwendungen des Soft Computing

Künstliche Neuronale Netze, die Fuzzy Set Theorie und Evolutionäre Algorithmen werden als innovat...

SAP R/3(R) Guide to EDI and Interfaces

Where Has the Money Gone? 1.1 Communication ........................................................

Sehen und die Verarbeitung visueller Information

Sehen ist die Ermittlung von Informationen aus Bildern. Welche Informationsquellen dabei genutzt ...

Fuzzy-Systems in Computer Science

This book contains a selection of revised papers and state-of-the-art overviews on current trends...

Scalable Search in Computer Chess

This book presents the results of our past two-and-a-half years of research aimed at increasing t...

Automated Theorem Proving

Studien- und Forschungsführer Künstliche Intelligenz

Der vorliegende Studien- und Forschungsführer Künstliche Intelligenz gibt einen aktuellen Überbli...

Automated Theorem Proving

Since both the coments and the structure of the book appeared to be successful, only minor change...

Methoden wissensbasierter Systeme

Dieses Buch präsentiert ein breites Spektrum aktueller Methoden zur Repräsentation und Verarbeitu...

Grundlagen zur Neuroinformatik und Neurobiologie

The Computational Brain, das außergewöhnliche Buch über vergleichende Forschung in den Bereichen ...