Overview
Part of the book series: Informatik-Fachberichte (INFORMATIK, volume 106)
Part of the book sub series: Subreihe Künstliche Intelligenz (2252)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Keywords
Table of contents (23 papers)
-
Expertensysteme
-
AI-Tools
-
Automatisches Beweisen und Programmieren
Editors and Affiliations
Bibliographic Information
Book Title: Österreichische Artificial Intelligence-Tagung
Book Subtitle: Wien, 24.–27. September 1985
Editors: Harald Trost, Johannes Retti
Series Title: Informatik-Fachberichte
DOI: https://doi.org/10.1007/978-3-642-46552-9
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1985
Softcover ISBN: 978-3-540-15695-6Published: 01 September 1985
eBook ISBN: 978-3-642-46552-9Published: 13 March 2013
Series ISSN: 0343-3005
Edition Number: 1
Number of Pages: VIII, 214
Topics: Artificial Intelligence