1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at t...

We are invited to deal with mathematical activity in a sys- tematic way [ ... ] one does expect a...

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

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

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

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

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

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

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

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

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