Foundations of Computer Science

Potential — Theory — Cognition

  • Editors
  • Christian Freksa
  • Matthias Jantzen
  • Rüdiger Valk
Book

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1337)

Table of contents

  1. Front Matter
  2. Heinz Zemanek
    Pages 9-19
  3. Wolfgang Coy
    Pages 21-35
  4. Dirk Siefkes
    Pages 37-47
  5. Jozef Gruska, Roland Vollmar
    Pages 49-67
  6. Herbert Klaeren, Christiane Floyd, Friedrich Diestelmeier
    Pages 69-78
  7. Alexandru Mateescu, Grzegorz Rozenberg, Arto Salomaa
    Pages 79-105
  8. Georg Karner, Werner Kuich
    Pages 117-124
  9. J. Esparza, P. Rossmanith
    Pages 143-152
  10. Karel Culik, Jarkko Kari
    Pages 153-162
  11. Klaus Weihrauch
    Pages 185-199
  12. Manfred Kudlek
    Pages 209-217
  13. H. Ehrig, J. Padberg
    Pages 219-231

About this book

Introduction

This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfried Brauer on the occasion of his sixtieth birthday. The volume presents 49 revised refereed papers organized in topical sections on computer science and its potential, social implications of computer science, formal languages and automata, structures and complexity theory, Petri nets, systems analysis and distributed systems, software engineering and verification, cognition and artificial intelligence, knowledge representation and reasoning, machine learning, neural networks and robotics, language and information systems.

Keywords

artificial intelligence complexity decision support system distributed systems formal language information system knowledge discovery knowledge representation machine learning proving robot robotics semantics verification visualization

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0052071
  • Copyright Information Springer-Verlag 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63746-2
  • Online ISBN 978-3-540-69640-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book