Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, ... Notes in Computer Science, 1249, Band 1249)
von Springer
Die Publikation "Automated Deduction - CADE-14" dokumentiert die 14. Internationale Konferenz zur automatisierten Deduktion, die vom 13. bis 17. Juli 1997 in Townsville, North Queensland, Australien stattfand. Diese Konferenz versammelte führende Experten und Forscher auf dem Gebiet der automatisierten Deduktion, um aktuelle Entwicklungen, innovative Ansätze und bahnbrechende Techniken zu präsentieren und zu diskutieren.
Der Band 1249 der Reihe "Notes in Computer Science" bietet eine umfassende Sammlung von Forschungsbeiträgen, die sich mit verschiedenen Aspekten der automatisierten Beweisführung, Logik und formalen Methoden befassen. Die enthaltenen Artikel decken ein breites Spektrum an Themen ab, darunter neue Algorithmen, Anwendungen in der Informatik und Mathematik sowie theoretische Grundlagen der Deduktion.
Diese Sammlung ist nicht nur für Wissenschaftler und Studierende von Interesse, sondern auch für Fachleute, die sich mit der Entwicklung und Anwendung automatisierter Systeme befassen. Die Publikation bietet wertvolle Einblicke in die Herausforderungen und Fortschritte in diesem dynamischen Forschungsfeld und trägt zur Weiterentwicklung der automatisierten Deduktion bei.
Angebote werden geladen ...
...
* Alle Preise inkl. Mehrwertsteuer. Die Preise und Versandkosten können sich seit der letzten Aktualisierung verändert haben. Es ist technisch nicht möglich, die angegebenen Preise in Echtzeit zu aktualisieren. Es gilt der Preis zum Zeitpunkt des Kaufs auf der Website des Verkäufers. Als Teilnehmer der Partnerprogramme von Amazon und eBay verdient die metaspinner net GmbH an qualifizierten Verkäufen.