Die zunehmende Komplexität und geringere Entscheidungszeiten in Frühwarnsystemen für nukleare Bed...

The contributions to this volume are drawn from the interdisciplinary research c- ried out within...

This book constitutes the thoroughly refereed post-proceedings of the Joint Chinese-German Worksh...

Unsere Zeit ist geprägt von immer komplexeren Systemen und Mechanismen. Gemeint sind die natürlic...

The contributions to this volume are drawn from the interdisciplinary research c- ried out within...

Die erste Fachtagung KünstZiche InteZZigenz der Gesellschaft für Informatik (wenngleich bereits d...

Connections and higher-order logic.- Commutation, transformation, and termination.- Full-commutat...

This book constitutes the refereed proceedings of the Second International Conference on Knowledg...

This volume constitutes the proceedings of the 7th Conference on Arti?cial Intelligence and Soft ...

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

Handbook of the History of Logic brings to the development of logic the best in modern techniques...