Advertisement

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
  14. Astrid Kiehn
    Pages 233-238
  15. José Meseguer, Ugo Montanari, Vladimiro Sassone
    Pages 239-249
  16. Volker Diekert
    Pages 251-260
  17. Ekkart Kindler, Wolfgang Reisig
    Pages 261-270
  18. Walter Vogler
    Pages 271-278
  19. B. Monien, P. Berenbrink, R. Lüling, M. Riedel
    Pages 313-320
  20. Günter Hotz, Hongzhong Wu
    Pages 337-350
  21. Siegfried Kanngießer
    Pages 359-368
  22. Christopher Habel, Carola Eschenbach
    Pages 369-378
  23. Kurt Ammon
    Pages 437-444
  24. Mohamed Salah Hamdi, Karl Kaiser
    Pages 455-464
  25. Martin Eldracher, Thomas Pic
    Pages 473-480
  26. Christian Schittenkopf, Gustavo Deco
    Pages 481-488
  27. Gabriele Scheler
    Pages 489-497
  28. Leo Pfefferer, Dieter Schütt
    Pages 507-514

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications