Automata, Languages and Programming

KI-95: Advances in Artificial Intelligence

InhaltsangabePartially observable Markov decision processes for artificial intelligence.- Robust ...

Studien- und Forschungsführer Informatik

Diese dritte, vollständig aktualisierte Auflage des bewährten Studien- und Forschungsführers, der...

Logic and Algebra of Specification

This NATO volume presents a selection of leading research aimed at giving a foundation for combin...

Advances in Petri Nets 1986.Proceedings of an Advanced Course, Bad Honnef, 8.-19.September 1986

The present volume is the second of two parts which constitute the proceedings of the 1986 Advanc...

Spatial Cognition III

Spatial cognition is an interdisciplinary research area involving artificial intelligence, cognit...

Informatik und Schule 1989: Zukunftsperspektiven der Informatik für Schule und Ausbildung

Dieses Buch enthält die Beiträge einer Tagung, die gemeinsam vom Fachbereich 'Ausbildung und Beru...

Petri Nets: Central Models and Their Properties

Petri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid ...

Spatial Cognition II

framework of the Spatial Cog- tion Priority Program. It augments the results presented in Freksa ...

GI Gesellschaft für Informatik e.V.

Formal and Natural Computing

This book presents state of the art research in theoretical computer science and related ?elds. I...

Logic and Algebra of Specification

This NATO volume presents a selection of leading research aimed at giving a foundation for combin...