Calmet, Jacques Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings (Lecture Notes in Computer Science, 1476, Band 1476)

Das Buch 'Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings' ist ein Sammelband von wissenschaftlichen Arbeiten, die auf der AISC'98-Konferenz präsentiert wurden. Diese Konferenz brachte Experten aus den Bereichen Künstliche Intelligenz und symbolische Berechnungen zusammen. Der Band umfasst eine Vielzahl von Themen wie automatisches Beweisen, algebraische Manipulationen und die Integration von KI-Techniken in symbolische Rechenmethoden. Die Beiträge behandeln sowohl theoretische als auch praktische Aspekte und zeigen die Fortschritte und Herausforderungen auf diesen Gebieten zur Zeit der Konferenz im Jahr 1998. Ziel des Buches ist es, den Austausch zwischen Forschern zu fördern und neue Ansätze in der Verbindung von KI und symbolischer Computation zu diskutieren.