書目名稱 | Foundations of Computer Science |
副標題 | Potential-Theory-Cog |
編輯 | Christian Freksa,Matthias Jantzen,Rüdiger Valk |
視頻video | http://file.papertrans.cn/347/346924/346924.mp4 |
叢書名稱 | Lecture Notes in Computer Science |
圖書封面 |  |
描述 | 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. |
出版日期 | Book 1997 |
關鍵詞 | artificial intelligence; complexity; decision support system; distributed systems; formal language; infor |
版次 | 1 |
doi | https://doi.org/10.1007/BFb0052071 |
isbn_softcover | 978-3-540-63746-2 |
isbn_ebook | 978-3-540-69640-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 1997 |