Frontiers of Combining Systems, Fachbücher von Roberto Sebastiani, Silvio Ghilardi
Das Buch "Frontiers of Combining Systems" dokumentiert die refereed Proceedings des 7. Internationalen Symposiums zu den Gren... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer