Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Oktober 1997
Genre:	EDV / Informatik
	ArtificialIntelligence / Automatentheorie / complexity / DecisionSupportSystem / distributedsystems / formallanguage / Informatik / informationsystem / knowledgediscovery / knowledgerepresentation / Künstliche Intelligenz (KI) / machinelearning / proving / Robot / Robotics / Semantics / Software Engineering / Theoretische Informatik / Verification / Visualization mehr...
ISBN:	9783540637462
EAN-Code:	9783540637462
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 29 mm
Gewicht:	803 gr
Seiten:	536
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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. TOC: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.