Frontiers of Combining Systems, Fachbücher von Roberto Sebastiani, Silvio Ghilardi
53,49 €
Das Buch "Frontiers of Combining Systems" dokumentiert die refereed Proceedings des 7. Internationalen Symposiums zu den Grenzen der Kombinationssysteme, das vom 16. bis 18. September 2009 in Trento, Italien, stattfand. Es umfasst 20 überarbeitete Volltexte, die sorgfältig ausgewählt und begutachtet wurden. Die Beiträge sind in thematische Abschnitte gegliedert, die sich mit der Kombination von Logiken, Theorien und Entscheidungsverfahren befassen. Darüber hinaus werden Themen wie Constraint-Lösungen und Programmierung sowie Kombinationsfragen in der Umformung und Programmierung sowie in logischen Rahmen und Theorembeweissystemen behandelt. Dieses Fachbuch richtet sich an Wissenschaftler und Praktiker, die sich mit den neuesten Entwicklungen in der Kombinationstheorie und deren Anwendungen beschäftigen.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
