![Foundations of Computer Science [electronic resource] : Potential — Theory — Cognition /](/search/themes/bootstrap3/images/libros.png)
Foundations of Computer Science [electronic resource] : Potential — Theory — Cognition /
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.
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1997
|
| Subjects: | Computer science., Software engineering., Computers., Artificial intelligence., Computers and civilization., Computer Science., Theory of Computation., Artificial Intelligence (incl. Robotics)., Software Engineering/Programming and Operating Systems., Computers and Society., |
| Online Access: | http://dx.doi.org/10.1007/BFb0052071 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|